From syntactic theories to interpreters: Automating the proof of unique decomposition
Academic Article
- Overview
- 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)