- Limits of Multi-Discounted Markov Decision Processes Hugo Gimbert Wieslaw Zielonka Fri 02 March 2012
- Stratified Bounded Affine Logic for Logarithmic Space Ulrich Schopp Fri 02 March 2012
- The Cost of Punctuality Patricia Bouyer Nicolas Markey Joel Ouaknine James Worrell Fri 02 March 2012
- Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica Fri 02 March 2012
- A Calculus of Contracting Processes Massimo Bartoletti Roberto Zunino Fri 02 March 2012
- Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction Vincent Danos Jérôme Feret Walter Fontana Russell Harmer Jean Krivine Fri 02 March 2012
- An Intuitionistic Logic that Proves Markovtextquotesingles Principle Hugo Herbelin Fri 02 March 2012
- A Decidable Two-Way Logic on Data Words Diego Figueira Fri 02 March 2012
- Linear Dependent Types and Relative Completeness Ugo Dal Lago Marco Gaboardi Fri 02 March 2012
- The Computational Meaning of Probabilistic Coherence Spaces Thomas Ehrhard Michele Pagani Christine Tasson Fri 02 March 2012
- Computing Optimal Coverability Costs in Priced Timed Petri Nets Parosh Aziz Abdulla Richard Mayr Fri 02 March 2012
- Regular Transformations of Infinite Strings Rajeev Alur Emmanuel Filiot Ashutosh Trivedi Fri 02 March 2012
- Decidable Problems for Probabilistic Automata on Infinite Words Krishnendu Chatterjee Mathieu Tracol Fri 02 March 2012
- Delta-Decidability over the Reals Sicun Gao Jeremy Avigad Edmund M. Clarke Fri 02 March 2012
- Countermodels from Sequent Calculi in Multi-Modal Logics Deepak Garg Valerio Genovese Sara Negri Fri 02 March 2012
- Extending Type Theory with Forcing Guilhem Jaber Nicolas Tabareau Matthieu Sozeau Fri 02 March 2012
- On the Significance of the Collapse Operation Pawel Parys Fri 02 March 2012
- The Complete Proof Theory of Hybrid Systems Andre Platzer Fri 02 March 2012
- An Automata Model for Trees with Ordered Data Values Tony Tan Fri 02 March 2012
- Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving Dmitry Traytel Andrei Popescu Jasmin C. Blanchette Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
