login/create account
LucSegoufin
| Type | Post | Author | Replies | Last post |
|---|---|---|---|---|
| Open problem | Finite entailment of Positive Horn logic | LucSegoufin | 1 | 5 years 3 weeks ago |
| Type | Post | Author | Replies | Last post |
|---|---|---|---|---|
| Open problem | Finite entailment of Positive Horn logic | LucSegoufin | 1 | 5 years 3 weeks ago |
Drupal
CSI of Charles University