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

@@ Property / DOI @@
-.1007/s11047-010-9197-x
@@ Property / DOI: 10.1007/s11047-010-9197-x / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11047-010-9197-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2083602672
@@ Property / OpenAlex ID: W2083602672 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S11047-010-9197-X
@@ Property / DOI: 10.1007/S11047-010-9197-X / rank @@
+Normal rank