Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre Pradic
Kleene Algebra With Hypotheses
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Certification of Compiler Optimizations Using Kleene Algebra With Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Greedy-Like Algorithms in Modal Kleene Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Cut-Free Cyclic Proof System for Kleene Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Paradox of Kleene and Rosser
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
An Algebraic Proof of Kleene-Myhill's Equivalence Theorem
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
A Process Algebra With Distributed Priorities
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Hidden Dimensions Hypotheses
Journal of Modern Physics
