- The Essence of Computation Peter Sestoft Wed 26 April 2017
- Systematic abstraction of abstract machines David Van Horn Matthew Might Mon 24 April 2017
- Coordination Languages and Their Significance David Gelernter Nicholas Carriero Sun 23 April 2017
- On Strong Determinacy of Countable Stochastic Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Dominik Wojtczak Sat 22 April 2017
- Closed reduction: explicit substitutions without alpha-conversion M. FERNÁNDEZ I. MACKIE F-R. SINOT Fri 21 April 2017
- Alternation Is Strict For Higher-Order Modal Fixpoint Logic Florian Bruse Fri 21 April 2017
- Logical Relations for Monadic Types Jean Goubault-Larrecq Slawomir Lasota David Nowak Tue 18 April 2017
- Model-checking process equivalences Martin Lange Etienne Lozes Manuel Vargas Guzmán Tue 18 April 2017
- Reachability for Dynamic Parametric Processes Anca Muscholl Helmut Seidl Igor Walukiewicz Wed 12 April 2017
- C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation Christopher Broadbent Arnaud Carayol Matthew Hague Olivier Serre Tue 11 April 2017
- On the Relationship Between Higher-order Recursion Schemes and Higher-order Fixpoint Logic Naoki Kobayashi Étienne Lozes Florian Bruse Tue 11 April 2017
- Growing a Language Jr. Guy L. Steele Tue 11 April 2017
- Notation As a Tool of Thought Kenneth E. Iverson Tue 11 April 2017
- Why Functional Programming Matters J. Hughes Tue 11 April 2017
- Using Circular Programs to Eliminate Multiple Traversals of Data R. S. Bird Sat 08 April 2017
- A faster solver for general systems of equations Christian Fecht Helmut Seidl Sat 08 April 2017
- Demystifying Reachability in Vector Addition Systems J. Leroux S. Schmitz Thu 06 April 2017
- Separating Regular Languages with First-Order Logic Thomas Place Marc Zeitoun Thu 06 April 2017
- Regular Separability of Parikh Automata Lorenzo Clemente Wojciech Czerwiński Sławomir Lasota Charles Paperman Thu 06 April 2017
- Separability of Reachability Sets of Vector Addition Systems Lorenzo Clemente Wojciech Czerwinski Slawomir Lasota Charles Paperman Thu 06 April 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
