Q5009457 (Q5009457): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2018.39
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2018.39 / rank @@
-Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+MSO definable string transductions and two-way finite-state transducers
+Normal rank
@@ Property / cites work @@
+On Process-Algebraic Extensions of Metric Temporal Logic
+Normal rank
@@ Property / cites work @@
+An Expressive Temporal Logic for Real Time
@@ Property / cites work: An Expressive Temporal Logic for Real Time / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958534
@@ Property / cites work: Q2958534 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive Completeness for Metric Temporal Logic
@@ Property / cites work: Expressive Completeness for Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating timed automata
@@ Property / cites work: Alternating timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
+Normal rank
@@ Property / cites work @@
+Metric Temporal Logic with Counting
@@ Property / cites work: Metric Temporal Logic with Counting / rank @@
+Normal rank
@@ Property / cites work @@
+Making Metric Temporal Logic Rational
@@ Property / cites work: Making Metric Temporal Logic Rational / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2018.39
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2018.39 / rank @@
+Normal rank