Ulf R. Schmerl
From MaRDI portal
Person:1098647
Available identifiers
zbMath Open schmerl.ulf-rMaRDI QIDQ1098647
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Formalizing Dijkstra's predicate transformer wp in weak second-order logic | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202953 | 1993-09-06 | Paper |
| Resolution on formula-trees | 1988-01-01 | Paper |
| Diophantine equations in fragments in arithmetic | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765263 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765772 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705450 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960847 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3966123 | 1982-01-01 | Paper |
| Iterated reflection principles and the ω-rule | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4742776 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866106 | 1979-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Ulf R. Schmerl
