Q5021231 (Q5021231): Difference between revisions

@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+Normal rank
@@ Property / cites work @@
+A characterization of regular expressions under bisimulation
+Normal rank
@@ Property / cites work @@
+Proceedings Tenth International Workshop on Computing with Terms and Graphs
+Normal rank
@@ Property / cites work @@
+A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
+Normal rank
@@ Property / cites work @@
+Maximal sharing in the Lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+The algebra of communicating processes with empty process
+Normal rank