The variety of Kleene algebras with conversion is not finitely based

Authors:
S. Crvenković;I. Dolinka;Z. Ésik
Affiliations:
Univ. of Novi Sad, Novi Sad, Yugoslavia;Univ. of Novi Sad, Novi Sad, Yugoslavia;A. József Univ., Szeged, Hungary
Venue:
Theoretical Computer Science
Year:
1999

Citing 0
Cited 4

Calculating Church-Rosser Proofs in Kleene Algebra

ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
The max-plus algebra of the natural numbers has no finite equational basis

Theoretical Computer Science
Kleene algebra with domain

ACM Transactions on Computational Logic (TOCL)
Residuated kleene algebras

Logic and Program Semantics

Quantified Score

Hi-index	5.23

Visualization

Abstract