Available identifiers
zbMath Open deutsch.michael-sMaRDI QIDQ354706
List of research outcomes
| 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Michael Deutsch
