A note on extending equivalence theories of algorithms (Q1220498): Difference between revisions

@@ 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.1016/0020-0190(74)90025-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1996953416
@@ Property / OpenAlex ID: W1996953416 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1220498