scientific article; zbMATH DE number 1405624

zbMath0943.68089MaRDI QIDQ4938603

Jürgen Stuber

Publication date: 23 February 2000

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

zbMATH Keywords

theory path ordering

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: