Top network posts

• 19 Is Descriptive Complexity dead?
• 9 Decidability of diophantine equations over {=, +, gcd}
• 8 Complexity of modal logic IK5
• 7 For a given binary-search tree obtain an isomorphic splay tree
• 7 Existing implementation of Scott's reduction?
• 5 Which are the best universities for a DPhil/PhD in proof theory and automated reasoning?
• 5 Generalizations of Dyck languages?
• View more network posts →