Explore: Kleene Algebra

Discover books, insights, and more — all in one place.

Learn more about Kleene Algebra with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “kleene-algebra”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Algebraic Computability and Enumeration Models

By

“Algebraic Computability and Enumeration Models” Metadata:

  • Title: ➤  Algebraic Computability and Enumeration Models
  • Author:
  • Language: English
  • Number of Pages: Median: 310
  • Publisher: ➤  Taylor & Francis Group - Apple Academic Press, Incorporated
  • Publish Date:

“Algebraic Computability and Enumeration Models” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2016
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Algebraic Computability and Enumeration Models at online marketplaces:


2Relations and Kleene algebra in computer science

By

Book's cover

“Relations and Kleene algebra in computer science” Metadata:

  • Title: ➤  Relations and Kleene algebra in computer science
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 365
  • Publisher: Springer
  • Publish Date:
  • Publish Location: New York - Berlin

“Relations and Kleene algebra in computer science” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2009
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Relations and Kleene algebra in computer science at online marketplaces:



Top of Page

Wiki

Source: Wikipedia

Wikipedia Results

Search Results from Wikipedia

Kleene algebra

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

Stephen Cole Kleene

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

De Morgan algebra

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

Boolean algebra (structure)

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

List of algebras

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

Kleene's algorithm

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'

Action algebra

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

Regular expression

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

Dexter Kozen

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

Kleene star

In formal language theory, the Kleene star (or Kleene operator or Kleene closure) refer to two related unary operations, that can be applied either to


Top of Page