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

Author： Crvenkovic S.   Dolinka I.   Esik Z.  

Publisher： Elsevier

ISSN： 0304-3975

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

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

Equational properties of Kleene algebras of relations with conversion

By Esik Z.   Bernatsky L.  

Theoretical Computer Science, Vol. 137, Iss. 2, 1995-01 ,pp. : 237-251

Elsevier

Access to resources Recommend Favorite

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

By Meseguer J.  

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

Elsevier

Access to resources Recommend Favorite

Construction of Finitely Presented Lie Algebras and Superalgebras

By Gerdt V.P.   Kornyak V.V.  

Journal of Symbolic Computation, Vol. 21, Iss. 3, 1996-03 ,pp. : 337-349

Academic Press

Access to resources Recommend Favorite

Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information: Lecture Notes in Computer Science, vol. 5363, Springer, New York, 2009, vii+269, $ 64.95, ISBN 978-3-642-00658-6

By Primiero Giuseppe  

Minds and Machines, Vol. 21, Iss. 1, 2011-02 ,pp. : 119-122

Springer Publishing Company

Access to resources Recommend Favorite

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