On Ground Word Problem of Term Equation Systems

DOI10.14232/ACTACYB.22.2.2015.16zbMath1349.68107OpenAlexW2963458771MaRDI QIDQ2803061

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 word problemKnuth-Bendix completion procedureground term-rewriting systemsterm-equation systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: On Ground Word Problem of Term Equation Systems