On ground word problem of term equation systems

DOI10.14232/ACTACYB.22.2.2015.16MaRDI QIDQ2803061zbMATH OpenOpenAlexFDO

Authors Sándor Vágvölgyi

Publication date 3 May 2016

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actacyb.22.2.2015.16

zbMATH Keywords

ground term-rewriting systemsground word problemKnuth-Bendix completion procedureterm-equation systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 58292
• scientific article; zbMATH DE number 4043235
• scientific article; zbMATH DE number 1337744
• scientific article; zbMATH DE number 4016226
• A decidable word problem without equivalent canonical term rewriting system

Cited in

(5)

• Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols
• scientific article; zbMATH DE number 4170894 (Why is no real title available?)
• scientific article; zbMATH DE number 58292 (Why is no real title available?)
• scientific article; zbMATH DE number 1337744 (Why is no real title available?)
• On the edge-independence number and edge-covering number for regular graphs

This page was built for publication: On ground word problem of term equation systems

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