recent posts

TypeTitleAuthorRepliesLast Post
categoryrer, A. Anonymous013 years 28 weeks ago
categoryShephard, G.C. Anonymous013 years 28 weeks ago
categoryfolding Anonymous013 years 28 weeks ago
Open problemDurer's Conjecture dmoskovich013 years 28 weeks ago
Open problemConvex uniform 5-polytopes ACW013 years 30 weeks ago
Open problemPseudodifference of filter objects porton113 years 30 weeks ago
categoryQBF Anonymous013 years 30 weeks ago
categoryMoshe Y. Vardi Anonymous013 years 30 weeks ago
Open problemComplexity of QBF(Bounded Treewidth) myvardi013 years 30 weeks ago
categoryMakowsky, Janos A. Anonymous013 years 30 weeks ago
categorypicture languages Anonymous013 years 30 weeks ago
categoryGrandjean, Etienne Anonymous013 years 30 weeks ago
categoryMSO, alternation hierarchy Anonymous013 years 30 weeks ago
Open problemMSO alternation hierarchy over pictures dberwanger013 years 30 weeks ago
categoryFMT00-Luminy Anonymous013 years 31 weeks ago
categoryBlatter-Specker Theorem Anonymous013 years 31 weeks ago
Open problemBlatter-Specker Theorem for ternary relations dberwanger013 years 31 weeks ago
categoryMakowski, Janos A. Anonymous013 years 31 weeks ago
categorybounded tree width Anonymous013 years 31 weeks ago
categoryCourcelle, Bruno Anonymous013 years 31 weeks ago
categorycardinality predicates Anonymous013 years 31 weeks ago
Open problemMonadic second-order logic with cardinality predicates dberwanger013 years 31 weeks ago
categorycounting quantifiers Anonymous013 years 31 weeks ago
categoryFMT03-Bedlewo Anonymous013 years 31 weeks ago
categoryFMT12-LesHouches Anonymous013 years 31 weeks ago