Contributions to the reduction theory of the decision problem (Q5802125): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Zum Entscheidungsproblem des logischen Funktionenkalküls
+Normal rank
@@ Property / cites work @@
+Ein Verfahren der mathematischen Logik
@@ Property / cites work: Ein Verfahren der mathematischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the Entscheidungsproblem
@@ Property / cites work: A note on the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5802125