- The meaning of negative premises in transition system specifications Roland Bol Jan Friso Groote Fri 02 March 2012
- On the combinatorial and algebraic complexity of quantifier elimination Saugata Basu Richard Pollack Marie-Françoise Roy Fri 02 March 2012
- Safe haskell David Terei Simon Marlow Simon Peyton Jones David Mazières Fri 02 March 2012
- Proof-producing synthesis of ML from higher-order logic Magnus O. Myreen Scott Owens Fri 02 March 2012
- Propositions as sessions Philip Wadler Fri 02 March 2012
- Explicitly heterogeneous metaprogramming with MetaHaskell Geoffrey Mainland Fri 02 March 2012
- A traversal-based algorithm for higher-order model checking Robin P. Neatherway Steven J. Ramsay Chih-Hao Luke Ong Fri 02 March 2012
- Fixed-point definability and polynomial time on graphs with excluded minors Martin Grohe Fri 02 March 2012
- Proving the correctness of reactive systems using sized types John Hughes Lars Pareto Amr Sabry Fri 02 March 2012
- Using the Groebner basis algorithm to find proofs of unsatisfiability Matthew Clegg Jeffery Edmonds Russell Impagliazzo Fri 02 March 2012
- Embedding graphs in an arbitrary surface in linear time Bojan Mohar Fri 02 March 2012
- Green Willem Visser Jaco Geldenhuys Matthew B. Dwyer Fri 02 March 2012
- Deciding Combinations of Theories Robert E. Shostak Fri 02 March 2012
- Verifying programs via iterated specialization Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Fri 02 March 2012
- On the linear ranking problem for integer linear-constraint loops Amir M. Ben-Amram Samir Genaim Fri 02 March 2012
- Sigma Matko Botinčan Domagoj Babić Fri 02 March 2012
- Principled parsing for indentation-sensitive languages Michael D. Adams Fri 02 March 2012
- The ramifications of sharing in data structures Aquinas Hobor Jules Villard Fri 02 March 2012
- Subjective auxiliary state for coarse-grained concurrency Ruy Ley-Wild Aleksandar Nanevski Fri 02 March 2012
- Solving non-linear arithmetic Dejan Jovanović Leonardo de Moura Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
