Michael Breban

From MaRDI portal
Person:795029

Available identifiers

zbMath Open breban.michaelMaRDI QIDQ795029

List of research outcomes





PublicationDate of PublicationType
Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator1984-01-01Paper
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions1981-01-01Paper

Research outcomes over time

This page was built for person: Michael Breban

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:795029&oldid=7118997"
Powered by MediaWiki