Nondeterministic regular expressions as solutions of equational systems. (Q1401324): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration theories of synchronization trees
@@ Property / cites work: Iteration theories of synchronization trees / rank @@
+Normal rank
@@ Property / cites work @@
+Models of nondeterministic regular expressions
@@ Property / cites work: Models of nondeterministic regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A Finite Axiomatization of Nondeterministic Regular Expressions
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q5588675
@@ Property / cites work: Q5588675 / rank @@
+Normal rank