Author： Godoy Guillem
Publisher： Springer Publishing Company
ISSN： 0938-1279
Source： Applicable Algebra in Engineering, Communication and Computing, Vol.15, Iss.1, 2004-06, pp. : 13-36
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
Normalization Results for Typeable Rewrite Systems
Information and Computation, Vol. 133, Iss. 2, 1997-03 ,pp. :
Access to resources
Recommend
Confluence Problems for Trace Rewriting Systems
By Lohrey M.
Information and Computation, Vol. 170, Iss. 1, 2001-10 ,pp. :
Transformations of discrete closure systems
Acta Mathematica Hungarica, Vol. 138, Iss. 4, 2013-03 ,pp. :