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