Achilles and the tortoise climbing up the arithmetical hierarchy (Q5906326): Difference between revisions

@@ Property / DOI @@
-.1006/jcss.1998.1601
@@ Property / DOI: 10.1006/jcss.1998.1601 / rank @@
-Normal rank
@@ 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.1006/jcss.1998.1601
+Normal rank
@@ Property / OpenAlex ID @@
+W1993678874
@@ Property / OpenAlex ID: W1993678874 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Some bounds on the computational power of piecewise constant derivative systems (extended abstract)
+Normal rank
@@ Property / cites work @@
+Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398473
@@ Property / cites work: Q4398473 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/JCSS.1998.1601
@@ Property / DOI: 10.1006/JCSS.1998.1601 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5906326