On term rewriting systems in unary signature

zbMATH Open1249.68093MaRDI QIDQ2883009FDOQ2883009

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)

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

zbMATH Keywords

generatormultiplicative systemuniversal algebrasimple word problem

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)