scientific article; zbMATH DE number 1241629

zbMath0917.68119MaRDI QIDQ4225065

Ursula Martin Webb

Publication date: 8 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

orderings on data structures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Relative undecidability in term rewriting. I: The termination hierarchy ⋮ Relative undecidability in term rewriting. II: The confluence hierarchy