- McNaughton's Theorem Mikołaj Bojańczyk Mon 16 July 2018
- The finite graph problem for two-way alternating automata Mikołaj Bojańczyk Mon 16 July 2018
- A Bounding Quantifier Mikołaj Bojańczyk Mon 16 July 2018
- SIGLOG news N/A Mon 16 July 2018
- Methods and Applications of (max,+) Linear Algebra Stéphane Gaubert Sat 14 July 2018
- A Kleene theorem for timed automata E. Asarin P. Caspi O. Maler Sat 14 July 2018
- Separability by Piecewise Testable Languages and Downward Closures Beyond Subwords Georg Zetzsche Sat 14 July 2018
- A Decision Method for Elementary Algebra and Geometry Alfred Tarski Sat 14 July 2018
- Mixed Real-integer Linear Quantifier Elimination Volker Weispfenning Wed 11 July 2018
- Decomposition of Decidable First-Order Logics over Integers and Reals F. Bouchy A. Finkel J. Leroux Wed 11 July 2018
- Progress-preserving Refinements of CTA Massimo Bartoletti Laura Bocchi Maurizio Murgia Sat 07 July 2018
- Munchausen Iteration R. Meyer S. Muskalla Fri 06 July 2018
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems M. Hague R. Meyer S. Muskalla M. Zimmermann Fri 06 July 2018
- Equational languages Andrzej Blikle Fri 06 July 2018
- Contribution of Warsaw Logicians to Computational Logic Damian Niwiński Tue 03 July 2018
- Some applications and techniques for generating functions P. Massazza N. Sabadini Sat 30 June 2018
- Combined Decision Techniques for the Existential Theory of the Reals Grant Olney Passmore Paul B. Jackson Sat 30 June 2018
- A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals J. Renegar Sat 30 June 2018
- Kripke Logical Relations and PCF Peter W. O'Hearn Jon G. Riecke Sat 30 June 2018
- Linearity in Higher-order Recursion Schemes Pierre Clairambault Charles Grellois Andrzej S. Murawski Sat 30 June 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
