LucSegoufin

TypePostAuthorRepliesLast post
Open problemFinite entailment of Positive Horn logic LucSegoufin05 years 17 weeks ago