Michael Breban
From MaRDI portal
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
