Author： Brown R. Heyworth A.
Publisher： Academic Press
ISSN： 0747-7171
Source： Journal of Symbolic Computation, Vol.29, Iss.1, 2000-01, pp. : 5-31
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
Access to resources
Recommend
Modelling Conditional Rewriting Logic in Structured Categories
By Miyoshi H.
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
Combining word problems through rewriting in categories with products
Theoretical Computer Science, Vol. 294, Iss. 1, 2003-02 ,pp. :
Discrete Event Systems in Rewriting Logic
By Landauer C.
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
LARS: A learning algorithm for rewriting systems
By Eyraud Rémi
Machine Learning, Vol. 66, Iss. 1, 2007-01 ,pp. :