Two generalizations of shininess

DOI10.1007/978-3-032-33486-2_7MaRDI QIDQ7411243zbMATH OpenFDO

Authors Guilherme V. Toledo, Yoni Zohar

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-33486-2_7

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites work

• Being polite is not enough (and other limits of theory combination)
• Combinations of Theories for Decidable Fragments of First-Order Logic
• Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness
• Combining combination properties: minimal models
• Combining Finite Combination Properties: Finite Models and Busy Beavers
• Frontiers of Combining Systems
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• Many-sorted equivalence of shiny and strongly polite theories
• Model Theory
• Revisiting the equivalence of shininess and politeness
• Simplification by Cooperating Decision Procedures

This page was built for publication: Two generalizations of shininess

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7411243)