On “provable” analogs of and (Q4191606): Difference between revisions

@@ Property / author @@
-Theodore P. Baker
@@ Property / author: Theodore P. Baker / rank @@
-Normal rank
@@ Property / author @@
+Theodore P. Baker
@@ Property / author: Theodore P. Baker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Provable Recursive Functions
@@ Property / cites work: Theory of Provable Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization Among Provably Equivalent Programs
@@ Property / cites work: Optimization Among Provably Equivalent Programs / rank @@
+Normal rank