Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,473,397 papers from all fields of science
Search
Sign In
Create Free Account
Kleene algebra
Known as:
Regular
, Regular algebra
In mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Action algebra
Category theory
Concatenation
Concurrent computing
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Characterizations of additive Jordan (a,b) derivable mappings on triangular algebras
Wenlei Yang
2013
Corpus ID: 124849846
2009
2009
Synchronous Kleene Algebra vs . Concurrent Kleene Algebra
Cristian Prisacariu
2009
Corpus ID: 13280582
In this year’s CONCUR conference Concurrent Kleene Algebra (CKA) is presented as a general formalism for reasoning about conc…
Expand
2009
2009
Demonic Kleene Algebra
J. Carufel
2009
Corpus ID: 125562390
We first recall the concept of Kleene algebra with domain (KAD). Then we explain how to use the operators of KAD to define a…
Expand
2004
2004
Second Order Cohomology of Triangular Banach Algebras
B. Forrest
,
L. Marcoux
2004
Corpus ID: 123904723
Explicit calculations of the various cohomology groups of a Banach algebra I are often very difficult to obtain. In this paper…
Expand
2003
2003
Partially ordered monads and powerset Kleene algebras
P. Eklund
,
Werner G¨ahler
2003
Corpus ID: 15706428
. Monads are used for various applications in computer science, and well-known is e.g. the interpretation of morphisms in the…
Expand
2001
2001
Church-Rosser Proofs in Kleene Algebra and Allegories
G. Struth
2001
Corpus ID: 124745392
We prove Church-Rosser statements in Kleene algebra in the spirit of the point-free style of functional programming. Proofs of…
Expand
1998
1998
Image segmentation based on Kleene algebra
Y. Hata
,
M. Ishikawa
,
N. Kamiura
Proceedings. 28th IEEE International Symposium…
1998
Corpus ID: 18879021
This paper proposes a segmentation method based on Kleene Algebra. For an input image including some regions of interests (ROIs…
Expand
1997
1997
On properties of Kleene TDDs
Y. Iguchi
,
Tsutomu Sasao
,
M. Matsuura
Asia and South Pacific Design Automation…
1997
Corpus ID: 8286740
Three types of ternary decision diagrams (TDDs) are considered: AND-TDDs, EXOR-TDDs, and Kleene-TDDs. Kleene-TDDs are useful for…
Expand
1992
1992
A note on regular elements in Calkin algebras
V. Rakočević
1992
Corpus ID: 118875695
An element a of the Banach algebra A is said to be regular provided there is an element b belonging to A such that a = aba. In…
Expand
1974
1974
Dynamic Programming Schemata
A. Martelli
,
U. Montanari
International Colloquium on Automata, Languages…
1974
Corpus ID: 40057174
In this paper we give a model of dynamic programming based on functional equations. A general method for solving these equations…
Expand