Automata and logics over finitely varying functions (Q636272): Difference between revisions

@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / 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 @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On Continuous Timed Automata with Input-Determined Guards
+Normal rank
@@ Property / cites work @@
+Counter-Free Input-Determined Timed Automata
@@ Property / cites work: Counter-Free Input-Determined Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timer formulas and decidable metric temporal logic
+Normal rank
@@ Property / cites work @@
+Q2753192
@@ Property / cites work: Q2753192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+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 @@
+Finite variability interpretation of monadic logic of order
+Normal rank
@@ Property / cites work @@
+From finite automata toward hybrid systems (Extended abstract)
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251040
@@ Property / cites work: Q4251040 / rank @@
+Normal rank