![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Boy de la Tour Thierry Echenim Mnacho
Publisher: Springer Publishing Company
ISSN: 0168-7433
Source: Journal of Automated Reasoning, Vol.33, Iss.3-4, 2004-10, pp. : 271-317
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)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations
By Marche C.
Journal of Symbolic Computation, Vol. 21, Iss. 3, 1996-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Solving word equations modulo partial commutations
By Diekert V. Matiyasevich Y. Muscholl A.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Termination of permutative conversions in intuitionistic Gentzen calculi
Theoretical Computer Science, Vol. 212, Iss. 1, 1999-02 ,pp. :