Equational properties of Kleene algebras of relations with conversion

Authors:
Z. Ésik;L. Bernátsky
Affiliations:
Jo´zsef Univ., Szeged, Hungary;Hungarian Academy of Sciences, Szeged, Hungary
Venue:
Theoretical Computer Science
Year:
1995

Citing 0
Cited 3

A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces

Mathematical Structures in Computer Science
The equational theory of Kleene lattices

Theoretical Computer Science
Residuated kleene algebras

Logic and Program Semantics

Quantified Score

Hi-index	5.23

Visualization

Abstract