Q5002803 (Q5002803): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10772
@@ Property / arXiv ID: 1804.10772 / rank @@
+Normal rank
@@ Property / cites work @@
+Dense-Timed Pushdown Automata
@@ Property / cites work: Dense-Timed Pushdown Automata / 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 @@
+Q5351961
@@ Property / cites work: Q5351961 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Pushdown Automata Revisited
@@ Property / cites work: Timed Pushdown Automata Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270062
@@ Property / cites work: Q4270062 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown timed automata: A binary reachability characterization and safety verification.
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+A survey of homogeneous structures
@@ Property / cites work: A survey of homogeneous structures / rank @@
+Normal rank
@@ Property / cites work @@
+Real addition and the polynomial hierarchy
@@ Property / cites work: Real addition and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Timed Automata
@@ Property / cites work: Recursive Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank