- On Affine Reachability Problems Stefan Jaax Stefan Kiefer Thu 30 January 2020
- Modular coinduction up-to for higher-order languages via first-order transition systems Jean-Marie Madiot Damien Pous Davide Sangiorgi Thu 30 January 2020
- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages Sebastian Ullrich Leonardo de Moura Thu 30 January 2020
- The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata Arnaud Carayol Stefan Wøhrle Mon 27 January 2020
- The common in higher education: a conceptual approach Krystian Szadkowski Mon 27 January 2020
- Elements of Scheduling Jan Karel Lenstra David B. Shmoys Mon 27 January 2020
- Pumping lemmas for weighted automata Agnishom Chattopadhyay Filip Mazowiecki Anca Muscholl Cristian Riveros Fri 24 January 2020
- Deciding the Topological Complexity of Buchi Languages Michal Skrzypczak Igor Walukiewicz Thu 23 January 2020
- A Characterisation of Pi^02 Regular Tree Languages Filippo Cavallari Henryk Michalewski Michal Skrzypczak Thu 23 January 2020
- The complexity of first-order and monadic second-order logic revisited Markus Frick Martin Grohe Thu 23 January 2020
- Algorithmic Meta-Theorems Stephan Kreutzer Thu 23 January 2020
- Monadic Second Order Finite Satisfiability and Unbounded Tree-Width Tomer Kotek Helmut Veith Florian Zuleger Thu 23 January 2020
- On the Parameterized Intractability of Monadic Second-Order Logic Stephan Kreutzer Thu 23 January 2020
- Second-Order Logic over Finite Structures -- Report on a Research Programme Georg Gottlob Wed 22 January 2020
- Model-Checking First-Order Logic: Automata and Locality Anuj Dawar Wed 22 January 2020
- Model Checking Games Erich Gradel Wed 22 January 2020
- Weak monadic second order theory of succesor is not elementary-recursive Albert Meyer Wed 22 January 2020
- Weak monadic second order theory of succesor is not elementary-recursive Albert R. Meyer Wed 22 January 2020
- Cosmological Lower Bound on the Circuit Complexity of a Small Problem in Logic Larry Stockmeyer Albert R. Meyer Wed 22 January 2020
- Monadic Second-Order Logic with Arbitrary Monadic Predicates Nathanael Fijalkow Charles Paperman Tue 21 January 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
