Expressive completeness of duration calculus. (Q1854330): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2028484769
@@ Property / OpenAlex ID: W2028484769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222923
@@ Property / cites work: Q4222923 / rank @@
+Normal rank
@@ Property / cites work @@
+Star free expressions over the reals
@@ Property / cites work: Star free expressions over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Non-elementary lower bound for Propositional Duration Calculus
+Normal rank
@@ Property / cites work @@
+On the decidability of continuous time specification formalisms
+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 @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281508
@@ Property / cites work: Q4281508 / rank @@
+Normal rank
@@ Property / cites work @@
+A duration calculus with infinite intervals
@@ Property / cites work: A duration calculus with infinite intervals / rank @@
+Normal rank