Equational properties of Kleene algebras of relations with conversion

Author： Esik Z.   Bernatsky L.  

Publisher： Elsevier

ISSN： 0304-3975

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

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

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

Equational properties of iteration in algebraically complete categories

By Esik Z.   Labella A.  

Theoretical Computer Science, Vol. 195, Iss. 1, 1998-03 ,pp. : 61-89

Elsevier

Access to resources Recommend Favorite

A Kleene theorem for splitable signals

By Durand-Lose J.  

Information Processing Letters, Vol. 89, Iss. 5, 2004-03 ,pp. : 237-245

Elsevier

Access to resources Recommend Favorite

Scott Induction and Equational Proofs

By Esik Z.   Bernatsky L.  

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

Elsevier

Access to resources Recommend Favorite

An equational notion of lifting monad

By Bucalo A.   Fuhrmann C.   Simpson A.  

Theoretical Computer Science, Vol. 294, Iss. 1, 2003-02 ,pp. : 31-60

Elsevier

Access to resources Recommend Favorite