scientific article; zbMATH DE number 1405623

zbMath0943.68088MaRDI QIDQ4938602

Albert Rubio

Publication date: 23 February 2000

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

zbMATH Keywords

recursive path ordering

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Modular and incremental proofs of AC-termination ⋮ A fully syntactic AC-RPO.

This page was built for publication: