- A short and constructive proof of Tarski's fixed-point theorem Federico Echenique Tue 04 December 2012
- Constructive Versions of Tarski's Fixed Point Theorems P. Cousot R. Cousot Tue 04 December 2012
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints Patrick Cousot Radhia Cousot Tue 04 December 2012
- Flat counter automata almost everywhere Jérôme Leroux Gregoire Sutre Tue 04 December 2012
- The complexity of probabilistic verification Costas Courcoubetis Mihalis Yannakakis Tue 04 December 2012
- On Computable Numbers, with an Application to the Entscheidungsproblem Alan M. Turing Tue 04 December 2012
- Reasoning about Time and Probability Keiji Kanazawa Tue 04 December 2012
- Reasoning with time and chance Daniel Lehmann Saharon Shelah Tue 04 December 2012
- Logic, Arithmetic, and Automata Alonzo Church Mon 03 December 2012
- Decision methods in the theory of ordinals Richard Buchi Mon 03 December 2012
- Finite Automata with Generalized Acceptance Criteria Timo Peichl Heribert Vollmer Mon 03 December 2012
- A Generalization of the Buchi-Elgot-Trakhtenbrot Theorem Matthias Galota Heribert Vollmer Mon 03 December 2012
- Finite automata and the logic of one-place predicates B. A. Trakhtenbrot Mon 03 December 2012
- Decision Problems of Finite Automata Design and Related Arithmetics Calvin C. Elgot Mon 03 December 2012
- Weak second-order arithmetic and finite automata Richard Buchi Mon 03 December 2012
- Review: J. Richard Buchi, Weak Second-Order Arithmetic and Finite Automata; J. Richard Buchi, On a Decision Method in Restricted second Order Arithmetic Robert McNaughton Mon 03 December 2012
- Taming past LTL and flat counter systems Stéphane Demri Amit Kumar Dhar Arnaud Sangnier Mon 03 December 2012
- Foundations of BQO Theory Alberto Marcone Sun 02 December 2012
- Algorithmic Aspects of WQO Theory Sylvain Schmitz Philippe Schnoebelen Sun 02 December 2012
- Verifying Networks of Timed Processes (Extended Abstract) Parosh Aziz Abdulla Bengt Jonsson Sun 02 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
