Noetherianity and Combination Problems

DOI10.1007/978-3-540-74621-8_14MaRDI QIDQ3525011zbMATH OpenOpenAlexFDO

Authors Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Publication date 16 September 2008

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74621-8_14

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Combining nonstably infinite theories
• A comprehensive combination framework
• Combining non-stably infinite theories
• Combinations of Theories for Decidable Fragments of First-Order Logic
• Model-theoretic methods in combined constraint satisfiability

Cited in

(3)

• Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
• A decidability result for the model checking of infinite-state systems
• Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings

This page was built for publication: Noetherianity and Combination Problems

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