LucSegoufin

TypePostAuthorRepliesLast post
Open problemFinite entailment of Positive Horn logic LucSegoufin15 years 15 weeks ago