Publication:4705617
From MaRDI portal
zbMath0939.68684MaRDI QIDQ4705617
Aart Middeldorp, Hitoshi Ohsaki, Maria C. F. Ferreira, Hans Zantema
Publication date: 20 December 1999
68Q42: Grammars and rewriting systems
Related Items
Uncurrying for termination and complexity, Relative undecidability in term rewriting. I: The termination hierarchy, Relative undecidability in term rewriting. II: The confluence hierarchy, Right-linear half-monadic term rewrite systems, Termination of term rewriting using dependency pairs, On the Relation between Sized-Types Based Termination and Semantic Labelling