Completeness for Identity-free Kleene Lattices (Q5009432): Difference between revisions

@@ label / en / label / en @@
+Completeness for Identity-free Kleene Lattices
@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2018.18
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2018.18 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+NetKAT
@@ Property / describes a project that uses: NetKAT / 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 @@
+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
@@ Property / full work available at URL @@
+https://hal.archives-ouvertes.fr/hal-01780845
+Normal rank
@@ Property / OpenAlex ID @@
+W2889005041
@@ Property / OpenAlex ID: W2889005041 / rank @@
+Normal rank
@@ Property / title @@
+Completeness for Identity-free Kleene Lattices (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2018.18
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2018.18 / rank @@
+Normal rank