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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-60249-6_39
+Normal rank
@@ Property / OpenAlex ID @@
+W1525064557
@@ Property / OpenAlex ID: W1525064557 / rank @@
+Normal rank
@@ 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