Star free expressions over the reals (Q1575940): Difference between revisions

@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic and star-free sets
@@ Property / cites work: First-order logic and star-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222923
@@ Property / cites work: Q4222923 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-elementary lower bound for Propositional Duration Calculus
+Normal rank
@@ Property / cites work @@
+Star-free regular sets of ω-sequences
@@ Property / cites work: Star-free regular sets of ω-sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank