Solvability of Context Equations with Two Context Variables is Decidable

Author: Schmidt-Schauß M.   Schulz K.U.  

Publisher: Academic Press

ISSN: 0747-7171

Source: Journal of Symbolic Computation, Vol.33, Iss.1, 2002-01, pp. : 77-122

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract