Decidability results for primitive recursive algorithms
From MaRDI portal
Publication:1399975
DOI10.1016/S0304-3975(02)00732-6zbMath1026.03028MaRDI QIDQ1399975
Publication date: 30 July 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
trace; decidability; primitive recursion; mutal recursion; obstination theorem; primitive recursive combinator
DB lookup for MSC labels failed