On the problem of generating small convergent systems

DOI10.1006/jsco.1993.1040zbMath0804.68073OpenAlexW2088930575MaRDI QIDQ1332650

Klaus Madlener, Andrea Sattler-Klein, Friedrich Otto

Publication date: 31 August 1994

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1993.1040

zbMATH Keywords

convergenceKnuth-Bendix completionstring-rewriting systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Combinatorics on words (68R15) Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items

Theorem proving with group presentations: Examples and questions

This page was built for publication: On the problem of generating small convergent systems