scientific article; zbMATH DE number 1354853

zbMath0926.68061MaRDI QIDQ4269134

Sándor Vágvölgyi, Magnus Steinby, Eija Jurvanen, Zoltán Fülöp

Publication date: 31 October 1999

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

zbMATH Keywords

rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies ⋮ Some decidability results on one-pass reductions ⋮ Term rewriting restricted to ground terms.