scientific article; zbMATH DE number 752977
From MaRDI portal
Publication:4698534
zbMath0827.68063MaRDI QIDQ4698534
Publication date: 9 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
rewriting systemsreduction systemsconfluent reductionsGroebner-basesKnuth-Bendix completion algorithmsnoetherian orderings
Parallel algorithms in computer science (68W10) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42)
Related Items (3)
Rewriting systems over similarity and generalized pseudometric spaces and their properties ⋮ Tree algebras and varieties of tree languages ⋮ Automated modular termination proofs for real Prolog programs
This page was built for publication:
