Publisher: Cambridge University Press
E-ISSN: 1943-5894|10|2|223-225
ISSN: 1079-8986
Source: Bulletin of Symbolic Logic, Vol.10, Iss.2, 2004-06, pp. : 223-225
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Termination and confluence in infinitary term rewriting
The Journal of Symbolic Logic, Vol. 63, Iss. 4, 1998-12 ,pp. :
Rewriting Systems and Geometric Three-Manifolds
Geometriae Dedicata, Vol. 76, Iss. 2, 1999-07 ,pp. :