Available identifiers
zbMath Open schmerl.ulf-rMaRDI QIDQ1098647
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 |
|---|---|---|
| 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 |
| Diophantine equations in fragments in arithmetic | 1988-01-01 | Paper |
| Resolution on formula-trees | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765772 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765263 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705450 | 1984-01-01 | Paper |
| Iterated reflection principles and the ω-rule | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960847 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3966123 | 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
This page was built for person: Ulf R. Schmerl
