Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 The Word Problem of ACD-Ground theories is Undecidable
The Word Problem of ACD-Ground theories is Undecidable
Abstract
We prove that there exists an ACD-ground theory, an equational theory
defined by a set of ground equations plus the associativity and
commutativity of two binary symbols * and +, and the distributivity of
* over +, for which the word problem is undecidable.