- The concurrent game semantics of Probabilistic PCF Simon Castellan Pierre Clairambault Hugo Paquet Glynn Winskel Fri 02 March 2012
- Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS Tomáš Brázdil Krishnendu Chatterjee Antonín Kučera Petr Novotný Dominik Velan Florian Zuleger Fri 02 March 2012
- A Theory of Register Monitors Thomas Ferrère Thomas A. Henzinger N. Ege Saraç Fri 02 March 2012
- LMSO Pierre Pradic Colin Riba Fri 02 March 2012
- On Higher Inductive Types in Cubical Type Theory Thierry Coquand Simon Huber Anders Mörtberg Fri 02 March 2012
- Probabilistic Stable Functions on Discrete Cones are Power Series Raphaëlle Crubillé Fri 02 March 2012
- Sequential Relational Decomposition Dror Fried Axel Legay Joël Ouaknine Moshe Y. Vardi Fri 02 March 2012
- Dialectica models of type theory Sean K. Moss Tamara von Glehn Fri 02 March 2012
- Two Families of Languages Related to ALGOL Seymour Ginsburg H. Gordon Rice Fri 02 March 2012
- Detection of Generative Ambiguities in Context-Free Mechanical Languages Saul Gorn Fri 02 March 2012
- A New Normal-Form Theorem for Context-Free Phrase Structure Grammars Sheila A. Greibach Fri 02 March 2012
- Reachability Is in DynFO Samir Datta Raghav Kulkarni Anish Mukherjee Thomas Schwentick Thomas Zeume Fri 02 March 2012
- piCoq: parallel regression proving for large-scale verification projects Karl Palmskog Ahmet Celik Milos Gligoric Fri 02 March 2012
- Parenthesis Grammars Robert McNaughton Fri 02 March 2012
- Syntax-Directed Transduction P. M. Lewis R. E. Stearns Fri 02 March 2012
- A Note on Star-Free Events Albert R. Meyer Fri 02 March 2012
- A Direct Proof of the Inherent Ambiguity of a Simple Context-Free Language Herman A. Maurer Fri 02 March 2012
- Formalization of Properties of Functional Programs Zohar Manna Amir Pnueli Fri 02 March 2012
- Note on a Lower Bound on the Linear Complexity of the Fast Fourier Transform Jacques Morgenstern Fri 02 March 2012
- The Exact Solution of Systems of Linear Equations with Polynomial Coefficients Michael T. McClellan Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
