login/create account
recent posts
| Type | Title | Author | Replies | Last Post |
|---|---|---|---|---|
| category | rer, A. | Anonymous | 0 | 13 years 28 weeks ago |
| category | Shephard, G.C. | Anonymous | 0 | 13 years 28 weeks ago |
| category | folding | Anonymous | 0 | 13 years 28 weeks ago |
| Open problem | Durer's Conjecture | dmoskovich | 0 | 13 years 28 weeks ago |
| Open problem | Convex uniform 5-polytopes | ACW | 0 | 13 years 30 weeks ago |
| Open problem | Pseudodifference of filter objects | porton | 1 | 13 years 30 weeks ago |
| category | QBF | Anonymous | 0 | 13 years 30 weeks ago |
| category | Moshe Y. Vardi | Anonymous | 0 | 13 years 30 weeks ago |
| Open problem | Complexity of QBF(Bounded Treewidth) | myvardi | 0 | 13 years 30 weeks ago |
| category | Makowsky, Janos A. | Anonymous | 0 | 13 years 30 weeks ago |
| category | picture languages | Anonymous | 0 | 13 years 30 weeks ago |
| category | Grandjean, Etienne | Anonymous | 0 | 13 years 30 weeks ago |
| category | MSO, alternation hierarchy | Anonymous | 0 | 13 years 30 weeks ago |
| Open problem | MSO alternation hierarchy over pictures | dberwanger | 0 | 13 years 30 weeks ago |
| category | FMT00-Luminy | Anonymous | 0 | 13 years 31 weeks ago |
| category | Blatter-Specker Theorem | Anonymous | 0 | 13 years 31 weeks ago |
| Open problem | Blatter-Specker Theorem for ternary relations | dberwanger | 0 | 13 years 31 weeks ago |
| category | Makowski, Janos A. | Anonymous | 0 | 13 years 31 weeks ago |
| category | bounded tree width | Anonymous | 0 | 13 years 31 weeks ago |
| category | Courcelle, Bruno | Anonymous | 0 | 13 years 31 weeks ago |
| category | cardinality predicates | Anonymous | 0 | 13 years 31 weeks ago |
| Open problem | Monadic second-order logic with cardinality predicates | dberwanger | 0 | 13 years 31 weeks ago |
| category | counting quantifiers | Anonymous | 0 | 13 years 31 weeks ago |
| category | FMT03-Bedlewo | Anonymous | 0 | 13 years 31 weeks ago |
| category | FMT12-LesHouches | Anonymous | 0 | 13 years 31 weeks ago |
Drupal
CSI of Charles University