- Psi-Calculi in Isabelle Jesper Bengtson Joachim Parrow Tjark Weber Mon 16 April 2018
- Refinement Reflection: Complete Verification with SMT Niki Vazou Anish Tondwalkar Vikraman Choudhury Ryan G. Scott Ryan R. Newton Philip Wadler Ranjit Jhala Mon 16 April 2018
- Psi-calculi: a framework for mobile processes with nominal data and logic Jesper Bengtson Magnus Johansson Joachim Parrow Bj orn Victor Sun 15 April 2018
- Monad Transformers Step by Step Martin Grabmuller Fri 13 April 2018
- Modular Monadic Semantics Sheng Liang Paul Hudak Fri 13 April 2018
- Lattice walks and algebraic power series Mireille Bousquet-Mélou Fri 13 April 2018
- Monadic Second Order Logic with Measure and Category Quantifiers Matteo Mio Michał Skrzypczak Henryk Michalewski Tue 10 April 2018
- Language identification in the limit E Mark Gold Sat 07 April 2018
- The Algebraic Theory of Context-Free Languages Noam Chomsky Marcel-Paul Schützenberger Fri 06 April 2018
- Analytic models and ambiguity of context-free languages Philippe Flajolet Fri 06 April 2018
- Conditionally Optimal Algorithms for Generalized Buchi Games Krishnendu Chatterjee Wolfgang Dvořák Monika Henzinger Veronika Loitzenbauer Wed 04 April 2018
- Random Fruits on the Zielonka Tree Florian Horn Wed 04 April 2018
- Explicit Muller Games are PTIME Florian Horn Wed 04 April 2018
- Complexity Bounds for Regular Games Paul Hunter Anuj Dawar Wed 04 April 2018
- Games for synthesis of controllers with partial observation A. Arnold A. Vincent I. Walukiewicz Tue 03 April 2018
- A Domain-specific Language for Experimental Game Theory Eric Walkingshaw Martin Erwig Tue 03 April 2018
- The State Complexity of Alternating Automata Nathanael Fijalkow Mon 02 April 2018
- Polynomial Invariants for Affine Programs Ehud Hrushovski Joel Ouaknine Amaury Pouly James Worrell Mon 02 April 2018
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version) Francesco Gavazzo Mon 02 April 2018
- Definable decompositions for graphs of bounded linear cliquewidth Mikołaj Bojańczyk Martin Grohe Michał Pilipczuk Mon 02 April 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
