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 |
|---|---|---|
| Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator Advances in Applied Mathematics | 1984-01-01 | Paper |
| Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions Communications on Pure and Applied Mathematics | 1981-01-01 | Paper |
Research outcomes over time
This page was built for person: Michael Breban
