- On the automatic verification of systems with continuous variables and unbounded discrete data structures Ahmed Bouajjani Rachid Echahed Riadh Robbana Fri 02 March 2012
- Codifying guarded definitions with recursive schemes Eduarde Giménez Fri 02 March 2012
- On extensibility of proof checkers Robert Pollack Fri 02 March 2012
- Kleene algebra with tests and commutativity conditions Dexter Kozen Fri 02 March 2012
- Diophantine equations, Presburger arithmetic and finite automata Alexandre Boudet Hubert Comon Fri 02 March 2012
- On infinite transition graphs having a decidable monadic theory Didier Caucal Fri 02 March 2012
- An improved lower bound for the elementary theories of trees Sergei Vorobyov Fri 02 March 2012
- Double description method revisited Komei Fukuda Alain Prodon Fri 02 March 2012
- Evolution of partial evaluators: Removing inherited limits Torben Æ. Mogensen Fri 02 March 2012
- Infinite results Faron Moller Fri 02 March 2012
- Coinductive axiomatization of recursive type equality and subtyping Michael Brandt Fritz Henglein Fri 02 March 2012
- Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi Masahito Hasegawa Fri 02 March 2012
- Inhabitation in typed lambda-calculi (a syntactic approach) Pawel Urzyczyn Fri 02 March 2012
- Verification of workflow nets W. M. P. Aalst Fri 02 March 2012
- Symbolic model checking for probabilistic processes Christel Baier Edmund M. Clarke Vasiliki Hartonas-Garmhausen Marta Kwiatkowska Mark Ryan Fri 02 March 2012
- Axiomatizations for the perpetual loop in process algebra Wan Fokkink Fri 02 March 2012
- Construction of abstract state graphs with PVS Susanne Graf Hassen Saidi Fri 02 March 2012
- On Cartesian monoids Rick Statman Fri 02 March 2012
- Simple On-the-fly Automatic Verification of Linear Temporal Logic R. Gerth D. Peled M. Y. Vardi P. Wolper Fri 02 March 2012
- The Writing of Introduction to Metamathematics Stephen C. Kleene Fri 02 March 2012
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
