Publication:4225065
From MaRDI portal
zbMath0917.68119MaRDI QIDQ4225065
Publication date: 8 August 1999
68Q42: Grammars and rewriting systems
Related Items
Relative undecidability in term rewriting. I: The termination hierarchy, Relative undecidability in term rewriting. II: The confluence hierarchy