Author： Meinke K.
Publisher： Elsevier
ISSN： 0022-0000
Source： Journal of Computer and System Sciences, Vol.67, Iss.1, 2003-08, pp. : 127-173
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
On the Modularity of Normal Forms in Rewriting
By Marchiori M.
Journal of Symbolic Computation, Vol. 22, Iss. 2, 1996-02 ,pp. :
Access to resources
Recommend
Infinite normal forms for non-linear term rewriting systems
Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. :
Intersection type assignment systems with higher-order algebraic rewriting
Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. :
Recursive equations in higher-order process calculi
By Ying
Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. :