A duration calculus with infinite intervals (Q5055877): Difference between revisions

@@ Property / cites work @@
+Probabilistic duration calculus for continuous time
+Normal rank
@@ Property / cites work @@
+Model-checking discrete duration calculus
@@ Property / cites work: Model-checking discrete duration calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Finite divergence
@@ Property / cites work: Finite divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics and Logic
@@ Property / cites work: Mathematics and Logic / 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