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