A note on inferring uniquely terminating code languages
From MaRDI portal
Publication:1606942
DOI10.1016/S0020-0190(99)00065-4zbMath1002.68081MaRDI QIDQ1606942
K. G. Subramanian, J. D. Emerald, D. Gnanaraj Thomas
Publication date: 25 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
68Q45: Formal languages and automata