- Notes on fibonacci trees and their optimality Yasuichi Horibe Tue 10 December 2013
- Program Schemes, Trees and Classes of Interpretations Irene Guessarian Tue 10 December 2013
- The Monadic Second Order Theory of Trees Given by Arbitrary Level-two Recursion Schemes is Decidable Klaus Aehlig Jolie G. de Miranda C.-H. Luke Ong Tue 10 December 2013
- Higher order indexed monadic systems Didier Caucal Teodor Knapik Tue 10 December 2013
- The hierarchy of indexed languages of an arbitrary level A. Maslov Tue 10 December 2013
- Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes C.-H.L. Ong Tue 10 December 2013
- Indexed Grammars - An Extension of Context-Free Grammars Alfred V. Aho Tue 10 December 2013
- Model Checking and Functional Program Transformations Axel Haddad Tue 10 December 2013
- Schemes with recursion on higher types K. Indermark Tue 10 December 2013
- How Often Does an Integer Occur as a Binomial Coefficient David Singmaster Tue 10 December 2013
- Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Mon 09 December 2013
- Can Programming Be Liberated from the Von Neumann Style: A Functional Style and Its Algebra of Programs John Backus Mon 09 December 2013
- Blink-free Photos, Guaranteed Nic Svenson Piers Barnes Mon 09 December 2013
- Automata-Based Termination Proofs Radu Iosif Adam Rogalewicz Tue 03 December 2013
- Positive Higher-order Queries Michael Benedikt Gabriele Puppis Huy Vu Tue 03 December 2013
- DART: Directed Automated Random Testing Patrice Godefroid Nils Klarlund Koushik Sen Tue 03 December 2013
- Applying Game Semantics to Compositional Software Modeling and Verification Samson Abramsky DanR. Ghica AndrzejS. Murawski C.-H.Luke Ong Tue 03 December 2013
- Dynamic Partial-order Reduction for Model Checking Software Cormac Flanagan Patrice Godefroid Tue 03 December 2013
- A Formal Hierarchy of Weak Memory Models Jade Alglave Tue 03 December 2013
- Verifying Lossy Channel Systems Has Nonprimitive Recursive Complexity Ph. Schnoebelen Tue 03 December 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
