Author: Dolinka I.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.301, Iss.1, 2003-05, pp. : 417-425
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
&unknown;&unknown; 5 -equational theory of context unification is undecidable
By Vorobyov S.
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :