Michael Deutsch

22 papers Journal 21Unranked 1

Year	Rank	Type	Title / Venue / Authors
1994	J	`jnl`	A Note on the Theorems of Church-Turing and Trachtenbrot. Math. Log. Q. Michael Deutsch
1992	J	`jnl`	Ein neuer Beweis und eine Verschärfung für den Reduktionstyp ∀∃∀∞(0, 1) mit einer Anwendung auf die spektrale Darstellung von Prädikaten. Math. Log. Q. Michael Deutsch
1991	J	`jnl`	Reduktionstyp und Spektrale Darstellung Mit Dem Präfix. Math. Log. Q. Michael Deutsch
1990	J	`jnl`	Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃ Math. Log. Q. Michael Deutsch
1990	J	`jnl`	Weitere Verschärfungen zu den Reduktionstypen ∀∃ Math. Log. Q. Michael Deutsch
1989	J	`jnl`	Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃ Math. Log. Q. Michael Deutsch
1989	J	`jnl`	Zum Reduktionstyp ∃ Math. Log. Q. Michael Deutsch
1988	J	`jnl`	Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1). Math. Log. Q. Michael Deutsch
1988	J	`jnl`	Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃ Math. Log. Q. Michael Deutsch
1987	J	`jnl`	Eine Bemerkung Zum Reduktionstyp ∀ Math. Log. Q. Michael Deutsch
1987	J	`jnl`	Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten. Math. Log. Q. Michael Deutsch
1986	J	`jnl`	Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1). Math. Log. Q. Michael Deutsch
1983	—	`conf`	Reductions for the satisfiability with a simple interpretation of the predicate variable. Logic and Machines Michael Deutsch
1982	J	`jnl`	Zur Komplexitätsmessung Primitiv-Rekursiver Funktionen Über Quotiententermmengen. Math. Log. Q. Michael Deutsch
1981	J	`jnl`	Registermaschinen üBER Quotiententermmengen. Math. Log. Q. Michael Deutsch
1981	J	`jnl`	Zur Reduktionstheorie des Entscheidungsproblems. Math. Log. Q. Michael Deutsch
1980	J	`jnl`	Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv-Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen. Math. Log. Q. Michael Deutsch
1977	J	`jnl`	Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik. Math. Log. Q. Michael Deutsch
1976	J	`jnl`	Zur Präfixoptimalität Gewisser ∄ ... ∄-Darstellungen Aufzählbarer Prädikate. Math. Log. Q. Michael Deutsch
1975	J	`jnl`	Zur Benutzung der Verkettung als Basis für die Arithmetik. Math. Log. Q. Michael Deutsch
1975	J	`jnl`	Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors. Math. Log. Q. Michael Deutsch
1975	J	`jnl`	Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe. Arch. Math. Log. Michael Deutsch