

Author: Hadley Robert
Publisher: Taylor & Francis Ltd
ISSN: 1360-0494
Source: Connection Science, Vol.15, Iss.2-3, 2003-06, pp. : 95-116
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


By Marchiori M.
Theoretical Computer Science, Vol. 192, Iss. 1, 1998-02 ,pp. :




On the Input Problem for Massive Modularity
By Collins J.
Minds and Machines, Vol. 15, Iss. 1, 2005-02 ,pp. :


Modularity in noncopying term rewriting
Theoretical Computer Science, Vol. 152, Iss. 1, 1995-12 ,pp. :


On the Modularity of Normal Forms in Rewriting
By Marchiori M.
Journal of Symbolic Computation, Vol. 22, Iss. 2, 1996-02 ,pp. :