- Comparative Schematology Michael S. Paterson Carl E. Hewitt Thu 11 September 2014
- Formal computations of non deterministic recursive program schemes André Arnold Maurice Nivat Wed 29 January 2014
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs A. Arnold M. Nivat Tue 09 July 2013
- Program schemes, recursion schemes, and formal languages Stephen J. Garland David C. Luckham Mon 01 July 2013
- Adequate Models for Recursive Program Schemes Michael D. Ernst Wed 27 March 2013
- Some equivalent transformations of recursive programs based on their schematic properties Boris Trakhtenbrot Mon 10 December 2012
- Equivalences and transformations of regular systems - Applications to recursive program schemes and grammars Bruno Courcelle Tue 16 October 2012
- Recursive schemes, algebraic trees and deterministic languages Bruno Courcelle Tue 16 October 2012
- Program equivalence and context-free grammars Barry K. Rosen Tue 16 October 2012
Library Size: 13G (9 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
