
LucSegoufin
Type | Post | Author | Replies | Last post |
---|---|---|---|---|
Open problem | Finite entailment of Positive Horn logic | LucSegoufin | 0 | 8 years 22 weeks ago |
Type | Post | Author | Replies | Last post |
---|---|---|---|---|
Open problem | Finite entailment of Positive Horn logic | LucSegoufin | 0 | 8 years 22 weeks ago |