Q5009432 (Q5009432): Difference between revisions

@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of Kleene lattices
@@ Property / cites work: The equational theory of Kleene lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizability of positive algebras of binary relations
+Normal rank
@@ Property / cites work @@
+Representations of distributive lattice-ordered semigroups with binary relations
+Normal rank
@@ Property / cites work @@
+The equational theory of union-free algebras of relations
+Normal rank
@@ Property / cites work @@
+Programming and automating mathematics in the Tarski-Kleene hierarchy
+Normal rank
@@ Property / cites work @@
+Une condition impliquant toutes les identités rationnelles
+Normal rank
@@ Property / cites work @@
+Deciding Kleene Algebras in Coq
@@ Property / cites work: Deciding Kleene Algebras in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Petri Automata for Kleene Allegories
@@ Property / cites work: Petri Automata for Kleene Allegories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5367072
@@ Property / cites work: Q5367072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra
@@ Property / cites work: Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On Automating the Calculus of Relations
@@ Property / cites work: On Automating the Calculus of Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra: free model and completeness
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+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 @@
+Q4428704
@@ Property / cites work: Q4428704 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and incompleteness in nominal Kleene algebra
+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 @@
+Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
+Normal rank
@@ Property / cites work @@
+Kleene Algebra with Tests and Coq Tools for while Programs
+Normal rank
@@ Property / cites work @@
+Q5596826
@@ Property / cites work: Q5596826 / rank @@
+Normal rank