A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events

doi 10.1109/lics.1991.151646
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Sco. Press

Related search

Kleene Algebra With Hypotheses

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Splitting Theorem for Algebras Over Commutative Von Neumann Regular Rings

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1972English

A Cut-Free Cyclic Proof System for Kleene Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Proof of the Completeness Theorem of Grödel

Fundamenta Mathematicae
Number TheoryAlgebra
1950English

Greedy-Like Algorithms in Modal Kleene Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Completeness of Regular Inductive Limits

International Journal of Mathematics and Mathematical Sciences
Mathematics
1989English

Local Completeness of Operator Algebras

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1977English

A Representation Theorem for V*-Algebras

Fundamenta Mathematicae
Number TheoryAlgebra
1963English

Certification of Compiler Optimizations Using Kleene Algebra With Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy