login/create account
dberwanger
| Type | Post | Author | Replies | Last post |
|---|---|---|---|---|
| Open problem | Vertex Cover Integrality Gap | dberwanger | 0 | 12 years 12 weeks ago |
| Open problem | MSO alternation hierarchy over pictures | dberwanger | 0 | 12 years 32 weeks ago |
| Open problem | Blatter-Specker Theorem for ternary relations | dberwanger | 0 | 12 years 32 weeks ago |
| Open problem | Monadic second-order logic with cardinality predicates | dberwanger | 0 | 12 years 32 weeks ago |
| Open problem | Order-invariant queries | dberwanger | 0 | 12 years 32 weeks ago |
| Open problem | Fixed-point logic with counting | dberwanger | 0 | 12 years 32 weeks ago |
Drupal
CSI of Charles University