Back to Search Start Over

Characterizing determinacy in Kleene algebras.

Authors :
Desharnais, Jules
Moller, Bernhard
Source :
Information Sciences. Dec2001, Vol. 139 Issue 3/4, p253. 21p.
Publication Year :
2001

Abstract

Discusses several candidate notions of determinacy in Kleene algebras. Definitions of Kleene algebras; Types of Boolean abstract relation algebra; Candidates from relation algebra; Technique for constructing Kleene algebras.

Details

Language :
English
ISSN :
00200255
Volume :
139
Issue :
3/4
Database :
Academic Search Index
Journal :
Information Sciences
Publication Type :
Periodical
Accession number :
5918435
Full Text :
https://doi.org/10.1016/S0020-0255(01)00168-2