From syntactic theories to interpreters: Automating the proof of unique decomposition
Journal Articles
- Overview
- Research
- Identity
- Additional Document Info
- View All
Overview
status
publication date
- 2001
has subject area
- 0802 Computation Theory and Mathematics (FoR)
- 1702 Cognitive Sciences (FoR)
- Software Engineering (Science Metrix)
published in
- LISP and Symbolic Computation Journal