Noetherianity and Combination Problems

DOI10.1007/978-3-540-74621-8_14zbMath1148.03010OpenAlexW1480290424MaRDI QIDQ3525011

Silvio Ranise, Daniele Zucchelli, Silvio Ghilardi, Enrica Nicolini

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)

Related Items

A decidability result for the model checking of infinite-state systems, Satisfiability Procedures for Combination of Theories Sharing Integer Offsets