Pietro Maugeri

Available identifiers

zbMath Open maugeri.pietroMaRDI QIDQ2215959

List of research outcomes

Publication	Date of Publication	Type
On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework	2024-12-06	Paper
Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages	2023-04-12	Paper
Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case	2021-10-25	Paper
Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership	2020-12-15	Paper

Research outcomes over time

This page was built for person: Pietro Maugeri