Mathematical Foundations of Computer Science 2003
From MaRDI portal
Publication:5431325
DOI10.1007/b11836zbMath1124.03313MaRDI QIDQ5431325
Christian Delhommé, Teodor Knapik, D. Gnanaraj Thomas
Publication date: 7 December 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11836
03B25: Decidability of theories and sets of sentences
68Q42: Grammars and rewriting systems
03D03: Thue and Post systems, etc.