Q5079743 (Q5079743): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CSL.2018.19
@@ Property / DOI: 10.4230/LIPIcs.CSL.2018.19 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Regular Sets
@@ Property / describes a project that uses: Regular Sets / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Une condition impliquant toutes les identités rationnelles
+Normal rank
@@ Property / cites work @@
+An Efficient Coq Tactic for Deciding Kleene Algebras
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+On Action Logic: Equational Theories of Action Algebras
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixpoints in Game Semantics
@@ Property / cites work: Least and Greatest Fixpoints in Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free cyclic proof system for Kleene algebra
@@ Property / cites work: A cut-free cyclic proof system for Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A calculational approach to mathematical induction
+Normal rank
@@ Property / cites work @@
+Q5278431
@@ Property / cites work: Q5278431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958526
@@ Property / cites work: Q2958526 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expression containment
@@ Property / cites work: Regular expression containment / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra
@@ Property / cites work: Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+From semirings to residuated Kleene lattices
@@ Property / cites work: From semirings to residuated Kleene lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767087
@@ Property / cites work: Q2767087 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Proof Pearl: regular expression equivalence and relation algebra
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3590769
@@ Property / cites work: Q3590769 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene Algebra with Tests and Coq Tools for while Programs
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596826
@@ Property / cites work: Q5596826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995358
@@ Property / cites work: Q4995358 / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CSL.2018.19
@@ Property / DOI: 10.4230/LIPICS.CSL.2018.19 / rank @@
+Normal rank