scientific article; zbMATH DE number 1418812
From MaRDI portal
Publication:4942094
zbMath0941.68603MaRDI QIDQ4942094
Publication date: 30 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)
Related Items (2)
Bi-rewriting, a term rewriting technique for monotonic order relations ⋮ Linear second-order unification
This page was built for publication:
