We extend Nelson-Oppen combination procedure to the case of theories which are compatible with respect to a common subtheory in the shared signature. The notion of compatibility relies on model completions and related concepts from classical model theory.
Model Theoretic Methods in Combined Constraint Satisfiability / S. Ghilardi. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - 33:3-4(2004), pp. 221-249. [10.1007/s10817-004-6241-5]
Model Theoretic Methods in Combined Constraint Satisfiability
S. GhilardiPrimo
2004
Abstract
We extend Nelson-Oppen combination procedure to the case of theories which are compatible with respect to a common subtheory in the shared signature. The notion of compatibility relies on model completions and related concepts from classical model theory.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
