![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Fiorentini C. Ghilardi S.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.294, Iss.1, 2003-02, pp. : 103-149
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Modelling Conditional Rewriting Logic in Structured Categories
By Miyoshi H.
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Combining algebraic rewriting, extensional lambda calculi, and fixpoints
Theoretical Computer Science, Vol. 169, Iss. 2, 1996-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Reductions and functors from problems to word problems
By Birget J.-C.
Theoretical Computer Science, Vol. 237, Iss. 1, 2000-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Kubica Bartłomiej Malinowski Krzysztof
Reliable Computing, Vol. 11, Iss. 5, 2005-10 ,pp. :