Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
Action algebraCategory theoryConcatenationConcurrent computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Kleene Algebra of Partial Predicates
Summary We show that the set of all partial predicates over a set D together with the disjunction, conjunction, and negation… 
2003
2003
Pointer Kleene Algebra
  • T. Ehm
  • RelMiCS
  • 2003
  • Corpus ID: 30608658
We present an extension of Kleene algebra (KA) that can be used for modeling a record based view of pointer structures. This is… 
Highly Cited
2000
Highly Cited
2000
Gourmet's Guide to Gorensteinness
If we were very clever we might be able to solve the following prob lem Let A be a noetherian N graded connected k algebra given… 
1999
1999
Parikh's theorem in commutative Kleene algebra
  • M. HopkinsD. Kozen
  • Proceedings. 14th Symposium on Logic in Computer…
  • 1999
  • Corpus ID: 14175316
Parikh's theorem says that, the commutative image of every context free language is the commutative image of some regular set… 
1999
1999
Embedding a quantum rank three quadric in a quantum P3
We continue the classification, begun in [11], [14] and [12], of quadratic Artin-Schelter regular algebras of global dimension 4… 
Highly Cited
1998
Highly Cited
1998
Blowing up non-commutative smooth surfaces
In this paper we will think of certain abelian categories with favorable properties as non-commutative surfaces. We show that… 
Highly Cited
1992
Highly Cited
1992
Regularity of the four dimensional Sklyanin algebra
The notation of a (non-commutative) regular, graded algebra is introduced in (AS). The results of that paper, combined with those… 
Highly Cited
1991
Highly Cited
1991
Kleene's Logic, Generalized
Kleene's well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties… 
Highly Cited
1990
Highly Cited
1990
On Kleene Algebras and Closed Semirings
Kleene algebras are an important class of algebraic structures that arise in diverse areas of computer science: program logic and… 
Highly Cited
1968
Highly Cited
1968
Grammars with Macro-Like Productions
Two new classes of grammars based on programming macros are studied. Both involve appending arguments to the intermediate symbols… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)