Comparing logics for rewriting: rewriting logic, action calculi and tile logic

Author： Gadducci F.   Montanari U.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.285, Iss.2, 2002-08, pp. : 319-358

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Bi-rewriting Rewriting Logic

By Schorlemmer W.M.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Reflection and Strategies in Rewriting Logic

By Clavel M.   Meseguer J.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-23

Elsevier

Access to resources Recommend Favorite

Rewriting logic: roadmap and bibliography

By Mart-Oliet N.   Meseguer J.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 121-154

Elsevier

Access to resources Recommend Favorite

A Logic for Rewriting Strategies

By Kieburtz R.B.  

Electronic Notes in Theoretical Computer Science, Vol. 58, Iss. 2, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite

Reflection in conditional rewriting logic

By Clavel M.   Meseguer J.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 245-288

Elsevier

Access to resources Recommend Favorite