Available identifiers
zbMath Open deutsch.michael-s MaRDI QID Q354706
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv . We are working on additional sources - please check back here soon!
Publication Date of Publication Type Equivariant functions and rational differential operators 2019-09-04 Paper Integrable deformation of critical surfaces in spaceforms 2013-07-19 Paper A Note on the Theorems of Church‐Turing and Trachtenbrot 1995-02-16 Paper EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN 1994-11-03 Paper Reduktionstyp und Spektrale Darstellung Mit Dem Präfix 1992-06-28 Paper Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀(∞, 1) 1990-01-01 Paper Weitere Verschärfungen zu den Reduktionstypen ∀∃∞ ∀(0,1), ∃∞ ∀3 ∃(∞, 1) 1990-01-01 Paper Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten 1989-01-01 Paper Zum Reduktionstyp ∃∞ ∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞ ∀∃∀ (ϱ, 1) 1989-01-01 Paper Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1) 1988-01-01 Paper Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃∞∀ε∃(ϱ, 1) ∀∞∃(ϱ, 1) Und ∀∞∃(∞, 1) 1988-01-01 Paper Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1) 1987-01-01 Paper Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten 1987-01-01 Paper Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1) 1986-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3338209 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3959392 1982-01-01 Paper Zur Komplexitätsmessung Primitiv‐Rekursiver Funktionen Über Quotiententermmengen 1982-01-01 Paper ZUR REDUKTIONSTHEORIE DES ENTSCHEIDUNGSPROBLEMS 1981-01-01 Paper REGISTERMASCHINEN ÜBER QUOTIENTENTERMMENGEN 1981-01-01 Paper Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv‐Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen 1980-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4134132 1977-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4141227 1977-01-01 Paper Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik 1977-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4094848 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4123311 1976-01-01 Paper Zur Präfixoptimalität Gewisser ∄ … ∄‐Darstellungen Aufzählbarer Prädikate 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3882495 1975-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4063403 1975-01-01 Paper Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe 1975-01-01 Paper Zur Benutzung der Verkettung als Basis für die Arithmetik 1975-01-01 Paper Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors 1975-01-01 Paper Reduzierungen Unentscheidbarer Formaler Sprachen Über Induktiv Definierten Bereichen 1974-01-01 Paper
Research outcomes over time
This page was built for person: Michael Deutsch
