- Types for dyadic interaction Kohei Honda Fri 02 March 2012
- Complexity results for 1-safe nets Allan Cheng Javier Esparza Jens Palsberg Fri 02 March 2012
- Guaranteeing safe destructive updates through a type system with uniqueness information for graphs Sjaak Smetsers Erik Barendsen Marko Eekelen Rinus Plasmeijer Fri 02 March 2012
- Nontraditional applications of automata theory Moshe Y. Vardi Fri 02 March 2012
- Proof by pointing Yves Bertot Gilles Kahn Laurent Théry Fri 02 March 2012
- A syntax for linear logic Philip Wadler Fri 02 March 2012
- Ultimately periodic words of rational ømega-languages Hugues Calbrix Maurice Nivat Andreas Podelski Fri 02 March 2012
- Infinite objects in type theory Thierry Coquand Fri 02 March 2012
- Hereditarily sequential functionals Hanno Nickau Fri 02 March 2012
- A mechanically proof-checked encyclopedia of mathematics: Should we build one Can we Robert S. Boyer Fri 02 March 2012
- The TPTP problem library Geoff Sutcliffe Christian Suttner Theodor Yemenis Fri 02 March 2012
- Ground temporal logic: A logic for hardware verification David Cyrluk Paliath Narendran Fri 02 March 2012
- An interaction-based language and its typing system Kaku Takeuchi Kohei Honda Makoto Kubo Fri 02 March 2012
- Generalization and reuse of tactic proofs Amy Felty Douglas Howe Fri 02 March 2012
- Categorical reconstruction of a reduction free normalization proof Thorsten Altenkirch Martin Hofmann Thomas Streicher Fri 02 March 2012
- Decomposing typed lambda calculus into a couple of categorical programming languages Masahito Hasegawa Fri 02 March 2012
- Local model checking games (extended abstract) Colin Stirling Fri 02 March 2012
- Checking regular properties of Petri nets Petr Jančar Faron Moller Fri 02 March 2012
- Petri nets, commutative context-free grammars, and basic parallel processes Javier Esparza Fri 02 March 2012
- Symbolic controller synthesis for discrete and timed systems Eugene Asarin Oded Maler Amir Pnueli Fri 02 March 2012
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
