LucSegoufin
Type | Post | Author | Replies | Last post |
---|---|---|---|---|
Open problem | Finite entailment of Positive Horn logic | LucSegoufin | 1 | 4 years 27 weeks ago |
Type | Post | Author | Replies | Last post |
---|---|---|---|---|
Open problem | Finite entailment of Positive Horn logic | LucSegoufin | 1 | 4 years 27 weeks ago |