scientific article; zbMATH DE number 1380897
From MaRDI portal
Publication:4705617
zbMath0939.68684MaRDI QIDQ4705617
Aart Middeldorp, Hitoshi Ohsaki, Maria C. F. Ferreira, Hans Zantema
Publication date: 20 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Right-linear half-monadic term rewrite systems ⋮ Dummy elimination: Making termination easier ⋮ Uncurrying for termination and complexity ⋮ Termination of term rewriting using dependency pairs ⋮ On the Relation between Sized-Types Based Termination and Semantic Labelling ⋮ Relative undecidability in term rewriting. I: The termination hierarchy ⋮ Relative undecidability in term rewriting. II: The confluence hierarchy
This page was built for publication:
