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