Diem-Grade Logischer Entscheidungsprobleme (Q4135479): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639707
@@ Property / cites work: Q5639707 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for tag systems
@@ Property / cites work: Decision problems for tag systems / rank @@
+Normal rank
@@ Property / cites work @@
+On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church.
+Normal rank
@@ Property / cites work @@
+Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
+Normal rank
@@ Property / cites work @@
+Turing-machines and the Entscheidungsproblem
@@ Property / cites work: Turing-machines and the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial systems. I: Cylindrical problems
@@ Property / cites work: Combinatorial systems. I: Cylindrical problems / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Computability and Variants of the Uniform Halting Problem
+Normal rank
@@ Property / cites work @@
+The undecidability of the Turing machine immortality problem
+Normal rank
@@ Property / cites work @@
+Many-one degrees associated with problems of tag
@@ Property / cites work: Many-one degrees associated with problems of tag / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability associated with Markov algorithms
+Normal rank
@@ Property / cites work @@
+The many-one equivalence of some general combinatorial decision problems
+Normal rank
@@ Property / cites work @@
+Combinatorial systems with axiom
@@ Property / cites work: Combinatorial systems with axiom / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursive Functions and Their Index Sets
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+The Representation of Many-One Degrees by Decision Problems of Turing Machines
+Normal rank
@@ Property / cites work @@
+The Representation of Many-One Degrees by the Word Problem for Thue Systems
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3265663
@@ Property / cites work: Q3265663 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear orderings under one-one reducibility
@@ Property / cites work: Linear orderings under one-one reducibility / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4135479