Q5018493 (Q5018493): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3693501
@@ Property / cites work: Q3693501 / rank @@
+Normal rank
@@ 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 @@
+An Equational Axiomatization of Bisimulation over Regular Expressions
+Normal rank
@@ Property / cites work @@
+Axiomatizations for the perpetual loop in process algebra
+Normal rank
@@ Property / cites work @@
+Proceedings 7th International Workshop on Computing with Terms and Graphs
+Normal rank
@@ Property / cites work @@
+Maximal sharing in the Lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+Q5013813
@@ Property / cites work: Q5013813 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank