- The spectrum problem and Parikh's theorem Johann A. Makowsky Sun 29 September 2019
- Interpolation and SAT-Based Model Checking K. L. McMillan Thu 26 September 2019
- FoPPS'19 - 3rd School on Foundations of Programming and Software Systems N/A Thu 26 September 2019
- Highlights'19 AAVV Thu 26 September 2019
- Remarks on blind and partially blind one-way multicounter machines S.A. Greibach Thu 26 September 2019
- An Approach to Regular Separability in Vector Addition Systems Wojciech Czerwiński Georg Zetzsche Wed 25 September 2019
- Towards Rewriting in Coq Jacek Chrząszcz Daria Walukiewicz-Chrząszcz Sat 21 September 2019
- Coinductive Algorithms for Buchi Automata Denis Kuperberg Laureline Pinault Damien Pous Sat 21 September 2019
- A Coinductive Confluence Proof for Infinitary Lambda-Calculus Łukasz Czajka Sat 21 September 2019
- Dependently Typed Programming with Finite Sets Denis Firsov Tarmo Uustalu Sat 21 September 2019
- Attracting Tangles to Solve Parity Games Tom van Dijk Fri 20 September 2019
- An automata-theoretic approach to constraint LTL Stéphane Demri Deepak D'Souza Mon 16 September 2019
- Towards Typed Prolog Tom Schrijvers Vítor Santos Costa Jan Wielemaker Bart Demoen Sun 15 September 2019
- Equivariant Unification James Cheney Thu 12 September 2019
- The Complexity of Equivariant Unification James Cheney Thu 12 September 2019
- Relating nominal and higher-order pattern unification James Cheney Thu 12 September 2019
- Relating Nominal and Higher-Order Rewriting Jesús Domínguez Maribel Fernández Thu 12 September 2019
- Nominal Game Semantics Andrzej S. Murawski Nikos Tzevelekos Thu 12 September 2019
- The Cook-Reckhow definition Jan Krajicek Tue 10 September 2019
- Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria Kousha Etessami Christos Papadimitriou Aviad Rubinstein Mihalis Yannakakis Tue 10 September 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
