Contents and Abstracts of the Electronic Notes in Theoretical Computer Science Vol. 4 - Proceedings First International Workshop on Rewriting Logic and its Applications, Asilomar Conference Center, Pacific Grove, CA, September 3-6, 1996

Author： Meseguer J.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.201, Iss.1, 1998-07, pp. : 291-297

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

Contents and Abstracts of the Electronic Notes in Theoretical Computer Science Vol. 5

By  

Theoretical Computer Science, Vol. 205, Iss. 1, 1998-08 ,pp. : 345-348

Elsevier

Access to resources Recommend Favorite

Contents and Abstracts of the Electronic Notes in Theoretical Computer Science Vol. 2

By  

Theoretical Computer Science, Vol. 194, Iss. 1, 1998-03 ,pp. : 239-248

Elsevier

Access to resources Recommend Favorite

Contents and Abstracts of the Electronic Notes in Theoretical Computer Science Vol. 3

By  

Theoretical Computer Science, Vol. 197, Iss. 1, 1998-05 ,pp. : 241-248

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

The variety of Kleene algebras with conversion is not finitely based - European Workshop JELIA '90, Lecture Notes in Computer Science

By Crvenkovic S.   Dolinka I.   Esik Z.  

Theoretical Computer Science, Vol. 230, Iss. 1, 2000-01 ,pp. : 235-245

Elsevier

Access to resources Recommend Favorite