On term rewriting systems in unary signature

MaRDI QIDQ2883009zbMATH OpenFDO

Authors A. D. Bol'bot

Publication date 11 May 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

generatormultiplicative systemuniversal algebrasimple word problem

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semigroups in automata theory, linguistics, etc. (20M35)

Recommendations

• The Knuth-Bendix Completion Procedure and Thue Systems
• scientific article; zbMATH DE number 3850464
• scientific article; zbMATH DE number 4016226
• On the problem of generating small convergent systems
• scientific article; zbMATH DE number 3870642

Cited in

(1)

• scientific article; zbMATH DE number 4080964 (Why is no real title available?)

This page was built for publication: On term rewriting systems in unary signature

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883009)