A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity (Q6135767): Difference between revisions

@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+Normal rank
@@ Property / cites work @@
+Q3837984
@@ Property / cites work: Q3837984 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
+Normal rank
@@ Property / cites work @@
+Q2843933
@@ Property / cites work: Q2843933 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5021231
@@ Property / cites work: Q5021231 / rank @@
+Normal rank
@@ Property / cites work @@
+A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
+Normal rank
@@ Property / cites work @@
+Q6061676
@@ Property / cites work: Q6061676 / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
+Normal rank
@@ Property / cites work @@
+Regular expression containment
@@ Property / cites work: Regular expression containment / rank @@
+Normal rank
@@ Property / cites work @@
+Actions speak louder than words: proving bisimilarity for context-free processes
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank