- Beth definability, interpolation and language splitting Rohit Parikh Wed 09 October 2019
- An Interpolating Theorem Prover K. L. McMillan Wed 09 October 2019
- On Padoa's Method in the Theory of Definition E. W. Beth Wed 09 October 2019
- Definability and Interpolation - Model-theoretic investigations Eva Hoogland Wed 09 October 2019
- Craig Interpolation in SAT and SMT Philipp Rummer Wed 09 October 2019
- A Tool for Automated Theorem Proving in Agda Fredrik Lindblad Marcin Benke Tue 08 October 2019
- Coordination Games on Weighted Directed Graphs Krzysztof R. Apt Sunil Simon Dominik Wojtczak Tue 08 October 2019
- The Well Structured Problem for Presburger Counter Machines Alain Finkel Ekanshdeep Gupta Tue 08 October 2019
- Unambiguous separators for tropical tree automata Thomas Colcombet Sylvain Lombardy Tue 08 October 2019
- The Ordinal Recursive Complexity of Lossy Channel Systems P. Chambart P. Schnoebelen Mon 07 October 2019
- Contributions to the model theory of finite structures Ronald Fagin Thu 03 October 2019
- Fifty years of the spectrum problem: survey and new results Arnaud Durand Neil D. Jones Johann A. Makowsky Malika More Thu 03 October 2019
- Das Reprasentenproblem in Pradikatenkalkul der ersten Stufe mit Identitat Gunter Asser Thu 03 October 2019
- On the variable hierarchy of first-order spectra Eryk Kopczynski Tony Tan Wed 02 October 2019
- Aperiodic Weighted Automata and Weighted First-Order Logic Manfred Droste Paul Gastin Tue 01 October 2019
- Towards Races in Linear Logic Wen Kokke J. Garrett Morris Philip Wadler Tue 01 October 2019
- Probabilistic Bisimilarity Distances Franck van Breugel Tue 01 October 2019
- Descriptive complexity of graph spectra Anuj Dawar Simone Severini Octavio Zapata Mon 30 September 2019
- The Honeycomb Conjecture Thomas C. Hales Sun 29 September 2019
- Spectra of Monadic Second-Order Formulas with One Unary Function Yuri Gurevich Saharon Shelah Sun 29 September 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
