- Modular temporal logic A. Baziramwabo P. McKenzie D. Therien Fri 02 March 2012
- Extensional equality in intensional type theory T. Altenkirch Fri 02 March 2012
- A fully abstract game semantics for finite nondeterminism R. Harmer G. McCusker Fri 02 March 2012
- Virtual symmetry reduction E.A. Emerson J.W. Havlicek R.J. Trefler Fri 02 March 2012
- Semantics of name and value passing M. Firore D. Turi Fri 02 March 2012
- Focus games for satisfiability and completeness of temporal logic M. Lange C. Stirling Fri 02 March 2012
- Monadic queries over tree-structured data G. Gottlob C. Koch Fri 02 March 2012
- Observational equivalence of 3rd-order Idealized Algol is decidable C.-H.L. Ong Fri 02 March 2012
- Homomorphism closed vs. existential positive T. Feder M.Y. Vardi Fri 02 March 2012
- On the language inclusion problem for timed automata: closing a decidability gap J. Ouaknine J. Worrell Fri 02 March 2012
- A sequent calculus for nominal logic M. Gabbay J. Cheney Fri 02 March 2012
- Proof nets and Boolean circuits K. Terui Fri 02 March 2012
- A categorical semantics of quantum protocols S. Abramsky B. Coecke Fri 02 March 2012
- Regular Expressions in Process Algebra J.C.M. Baeten F. Corradini Fri 02 March 2012
- Small Substructures and Decidability Issues for First-Order Logic with Two Variables E. Kieronski M. Otto Fri 02 March 2012
- Uniform Distributed Synthesis B. Finkbeiner S. Schewe Fri 02 March 2012
- LTL with the Freeze Quantifier and Register Automata S. Demri R. Lazic Fri 02 March 2012
- Alternation-free modal mu-calculus for data trees Marcin Jurdzinski Ranko Lazic Fri 02 March 2012
- Categorical Combinatorics for Innocent Strategies Russ Harmer Martin Hyland Paul-Andre Mellies Fri 02 March 2012
- Complete Sequent Calculi for Induction and Infinite Descent James Brotherston Alex Simpson Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
