A new lower bound construction for commutative Thue systems with applications

Research output: Contribution to journalArticle

Original languageEnglish (US)
Article numberMath Review MR1124303 (92i:03046)
Pages (from-to)1-28
JournalJournal of Symbolic Computation
Volume12
StatePublished - 1991

Cite this