On a conjecture of Yves Métivier

DOI10.1016/0304-3975(94)90066-3zbMath0801.68101OpenAlexW2032108015WikidataQ123365948 ScholiaQ123365948MaRDI QIDQ1314400

V. Pereyra

Publication date: 29 November 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90066-3

zbMATH Keywords

rewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

An upper bound on the derivational complexity of Knuth-Bendix orderings.

Cites Work

• Magic Cubes and Prouhet Sequences

This page was built for publication: On a conjecture of Yves Métivier