On action algebras

Reference. On action algebras

Dexter Kozen · Logic and Information Flow · 1994 · kleene-algebra · DOI

Cite

Cite as @kozen1994action (helia, typst) · \cite{kozen1994action} (LaTeX)

BibTeX

bibtex · 9 lines

@incollection{kozen1994action,
 title = {On action algebras},
 author = {Kozen, Dexter},
 year = {1994},
 booktitle = {Logic and Information Flow},
 pages = {78--88},
 publisher = {MIT Press},
 doi = {10.7551/mitpress/4286.003.0007}
}

hayagriva YAML (typst)

yaml · 12 lines

kozen1994action:
  type: anthos
  title: On action algebras
  author: Kozen, Dexter
  date: 1994
  page-range: 78-88
  serial-number:
    doi: 10.7551/mitpress/4286.003.0007
  parent:
    type: anthology
    title: Logic and Information Flow
    publisher: MIT Press

Download: kozen1994action.bib · kozen1994action.yml

Cites 25 works (0 here)

External (25)

An equational axiomatization of the regular sets (1991)
A completeness theorem for Kleene algebras and the algebra of regular events (1991)
The Design and Analysis of Algorithms (1991)
A semiring on convex polygons and zero-sum cycle problems (1990)
On Kleene algebras and closed semirings (1990)
Logics of Programs (1990)
A complete system of B-rational identities (1990)
Action logic and pure induction (1990)
The Kleene and Parikh Theorem in complete semirings (1987)
Semirings, Automata, and Languages (1986)
Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness (1984)
Relation Algebras with Transitive Closure (1984)
On induction vs. *-continuity (1981)
Elements of the Theory of Computation (1981)
Introduction to Automata Theory, Languages, and Computation (1979)
Automata Theoretic Aspects of Formal Power Series (1978)
Relation algebras with transitive closure (1977)
The Design and Analysis of Computer Algorithms (1975)
Algebraic Theory of Automata (1972)
The equivalence problem for regular expressions with squaring requires exponential time (1972)
Regular Algebra and Finite Machines (1971)
Two complete axiom systems for the algebra of regular events (1966)
On defining relations for the algebra of regular events (1964)
Representation of events in nerve nets and finite automata (1956)
Dynamic algebras as a well-behaved fragment of relation algebras