What Is an Algorithm? (Q2891359): Difference between revisions

@@ Property / cites work @@
+Datalog extensions for database queries and updates
+Normal rank
@@ Property / cites work @@
+Palindrome recognition using a multidimensional tape.
+Normal rank
@@ Property / cites work @@
+Abstract state machines capture parallel algorithms
+Normal rank
@@ Property / cites work @@
+Q3152801
@@ Property / cites work: Q3152801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395980
@@ Property / cites work: Q3395980 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinary interactive small-step algorithms, I
@@ Property / cites work: Ordinary interactive small-step algorithms, I / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Small-Step Algorithms I: Axiomatization
+Normal rank
@@ Property / cites work @@
+A Natural Axiomatization of Computability and Proof of Church's Thesis
+Normal rank
@@ Property / cites work @@
+Q3916562
@@ Property / cites work: Q3916562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5433143
@@ Property / cites work: Q5433143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413688
@@ Property / cites work: Q4413688 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential abstract-state machines capture sequential algorithms
+Normal rank
@@ Property / cites work @@
+Fixed-point extensions of first-order logic
@@ Property / cites work: Fixed-point extensions of first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762147
@@ Property / cites work: Q2762147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384970
@@ Property / cites work: Q5384970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4792709
@@ Property / cites work: Q4792709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428707
@@ Property / cites work: Q4428707 / rank @@
+Normal rank
@@ Property / cites work @@
+Church Without Dogma: Axioms for Computability
@@ Property / cites work: Church Without Dogma: Axioms for Computability / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank