Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator

From MaRDI portal

(Redirected from Publication:795031)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Decision_procedures_for_elementary_sublanguages_of_set_theory._III:_Restricted_classes_of_formulas_involving_the_power_set_operator_and_the_general_set_union_operator&oldid=64394922"