On Completeness of Omega-Regular Algebras (Q2915143): Difference between revisions

@@ Property / cites work @@
+Une remarque sur les systèmes complets d'identités rationnelles
+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 @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Partial, Total and General Correctness
@@ Property / cites work: Partial, Total and General Correctness / 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 @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103032
@@ Property / cites work: Q4103032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036596
@@ Property / cites work: Q4036596 / rank @@
+Normal rank