mathematics and theoretical computer science, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is a semiring that generalizes the theory...

science. Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the...

definition of Kleene algebra. The simplest Kleene algebra that is not Boolean is Kleene's three-valued logic K3. K3 made its first appearance in Kleene's On notation...

In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive...

It is also a special case of a De Morgan algebra and a Kleene algebra (with involution). Every Boolean algebra gives rise to a Boolean ring, and vice versa...

developed the version of the modal μ-calculus most used today. His work on Kleene algebra with tests was recognized with an Alonzo Church Award in 2022. Moreover...

algorithm on weighted graphs that can be implemented by Kleene's algorithm using a particular Kleene algebra Star height problem — what is the minimum stars'...

Jordan algebra Kac–Moody algebra Kleene algebra Leibniz algebra Lie algebra Lie superalgebra Malcev algebra Matrix algebra Non-associative algebra Octonion...

2017-12-10. Kozen, Dexter (1991). "A completeness theorem for Kleene algebras and the algebra of regular events". [1991] Proceedings Sixth Annual IEEE Symposium...

mathematical logic and theoretical computer science, the Kleene star (or Kleene operator or Kleene closure) is a unary operation on a set V to generate a...

Completeness Result for Relation Algebra with Binders." Peter Jipsen: Relation algebras "Foundations of Relations and Kleene Algebra." "Computer Aided Investigations...

satisfies the two requirements of combinatory completeness.: 4  The first Kleene algebra K 1 {\displaystyle {\mathcal {K}}_{1}} consists of the set N {\displaystyle...

Möller, B.; Struth, G., eds. (2008-03-28), RelMiCS '10 – Relations and Kleene-Algebra in Computer Science, Lecture Notes in Computer Science, vol. 4988,...

1 + a a ∗ = 1 + a ∗ a . {\displaystyle a^{*}=1+aa^{*}=1+a^{*}a.} A Kleene algebra is a star semiring with idempotent addition and some additional axioms...

operation. Kleene algebras: a semiring with idempotent addition and a unary operation, the Kleene star, satisfying additional properties. *-algebra or *-ring:...

monoid Green's relations Monad (functional programming) Semiring and Kleene algebra Star height problem Vedic square Frobenioid If both e1 and e2 satisfy...

elliptic partial differential equations Regular algebra, or Kleene algebra Regular code, an algebraic code with a uniform distribution of distances between...

decision procedures have been developed as libraries, including one for Kleene algebras and another for certain geometric goals. The old name Coq means 'rooster'...

Ockham algebras form a variety. Examples of Ockham algebras include Boolean algebras, De Morgan algebras, Kleene algebras, and Stone algebras. Berman...

Morgan algebra Kleene algebra (with involution) Łukasiewicz–Moisil algebra Boolean algebra (structure) Boolean ring Complete Boolean algebra Orthocomplemented...

meet operation ∧, for example Kleene algebras and action algebras. In mathematics, a residuated lattice is an algebraic structure L = (L, ≤, •, I) such...

Gödel logic Jaina seven-valued logic Kleene logic Kleene algebra (with involution) Łukasiewicz logic MV-algebra Post logic Principle of bivalence A. N...

fragment of the Kleene K3 logic, restricted to AND, OR, and NOT tables. Philosophy portal Binary logic (disambiguation) Boolean algebra (structure) Boolean...

Examples of quasi-regular semirings are provided by the Kleene algebras (prominently among them, the algebra of regular expressions), in which the quasi-inverse...

= 1 ∪ a ; a ∗ {\displaystyle a{*}=1\cup a{\mathbin {;}}a{*}\,\!} of Kleene algebra. A6 asserts that if p {\displaystyle p\,\!} holds now, and no matter...

grammar Formal language Formal system Generalized star height problem Kleene algebra Kleene star L-attributed grammar LR-attributed grammar Myhill–Nerode theorem...

concatenation and all Boolean operators (see algebra of sets) including complementation but not the Kleene star: this class includes all finite languages...

synchronization Orc—heavily concurrent, nondeterministic, based on Kleene algebra Oz-Mozart—multiparadigm, supports shared-state and message-passing concurrency...

power set of a topological space to itself are idempotent; the Kleene star and Kleene plus functions of the power set of a monoid to itself are idempotent;...

arts KickassTorrents, also known as KAT, a BitTorrent search engine Kleene algebra with tests Team Katusha (ICU code KAT), a Russian bicycle racing team...