Rewriting Logic as a Logical and Semantic Framework

By Marti-Oliet N.   Meseguer J.  

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

Elsevier

Access to resources Recommend Favorite

Termination of String Rewriting Proved Automatically

By Zantema H.  

Journal of Automated Reasoning, Vol. 34, Iss. 2, 2005-12 ,pp. : 105-139

Springer Publishing Company

Access to resources Recommend Favorite

Termination and derivational complexity of confluent one-rule string-rewriting systems

By Kobayashi Y.   Katsura M.   Shikishima-Tsuji K.  

Theoretical Computer Science, Vol. 262, Iss. 1, 2001-07 ,pp. : 583-632

Elsevier

Access to resources Recommend Favorite

Contributions of Ronald V. Book to the theory of string-rewriting systems

By McNaughton R.  

Theoretical Computer Science, Vol. 207, Iss. 1, 1998-10 ,pp. : 13-23

Elsevier

Access to resources Recommend Favorite

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