A note on inferring uniquely terminating code languages
From MaRDI portal
Publication:1606942
DOI10.1016/S0020-0190(99)00065-4zbMath1002.68081MaRDI QIDQ1606942
J. D. Emerald, K. G. Subramanian, D. Gnanaraj Thomas
Publication date: 25 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
Related Items (1)
This page was built for publication: A note on inferring uniquely terminating code languages