Kleene Algebra With Hypotheses

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17127-8_12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Certification of Compiler Optimizations Using Kleene Algebra With Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Greedy-Like Algorithms in Modal Kleene Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A Cut-Free Cyclic Proof System for Kleene Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

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

English

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

The Paradox of Kleene and Rosser

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1941English

An Algebraic Proof of Kleene-Myhill's Equivalence Theorem

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
1970English

A Process Algebra With Distributed Priorities

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1998English

Hidden Dimensions Hypotheses

Journal of Modern Physics
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy