![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Keiichirou Kusakari Masaki Nakamura Yoshihito Toyama
Publisher: Springer Publishing Company
ISSN: 0168-7433
Source: Journal of Automated Reasoning, Vol.37, Iss.3, 2006-10, pp. : 205-229
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)
Discrete Event Systems in Rewriting Logic
By Landauer C.
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
LARS: A learning algorithm for rewriting systems
By Eyraud Rémi
Machine Learning, Vol. 66, Iss. 1, 2007-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Interaction nets and term-rewriting systems
Theoretical Computer Science, Vol. 190, Iss. 1, 1998-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
On three variants of rewriting P systems
By Ferretti C. Mauri G. Paun G. Zandron C.
Theoretical Computer Science, Vol. 301, Iss. 1, 2003-05 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Specifying Real-Time Systems in Rewriting Logic
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :