e-Article
Decidability results for primitive recursive algorithms
Document Type
Article
Author
Source
In Theoretical Computer Science 2003 300(1):477-504
Subject
Language
ISSN
0304-3975