Output concepts for accelerated Turing machines (Q609032): Difference between revisions

@@ Property / cites work @@
+A complete logic for reasoning about programs via nonstandard model theory. I
+Normal rank
@@ Property / cites work @@
+A complete logic for reasoning about programs via nonstandard model theory. II
+Normal rank
@@ Property / cites work @@
+A note on accelerated Turing machines
@@ Property / cites work: A note on accelerated Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5439769
@@ Property / cites work: Q5439769 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
+Normal rank
@@ Property / cites work @@
+Ultrafilters: Some old and some new results
@@ Property / cites work: Ultrafilters: Some old and some new results / rank @@
+Normal rank
@@ Property / cites work @@
+Hypercomputation and the Physical Church‐Turing Thesis
+Normal rank
@@ Property / cites work @@
+Why there is no such discipline as hypercomputation
+Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Time Turing Machines With Only One Tape
@@ Property / cites work: Infinite Time Turing Machines With Only One Tape / rank @@
+Normal rank
@@ Property / cites work @@
+The many forms of hypercomputation
@@ Property / cites work: The many forms of hypercomputation / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard methods in combinatorics and theoretical computer science
+Normal rank