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