Results 1 -
2 of
2
Model-Theoretic Methods in Combined Constraint Satisfiability
- Journal of Automated Reasoning
, 2004
"... 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. ..."
Abstract
-
Cited by 32 (10 self)
- Add to MetaCart
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.
Axiomatisability of Weakly Flat, Flat and Projective S-Acts
- Comm. Alg. 2002
, 2000
"... . This paper gives necessary and sufficient conditions on a monoid S such that the class of flat left S-acts is (first order) axiomatisable. It presents also a streamlined version of the result of Stepanova that the class of projective left S-acts is axiomatisable if and only if the strongly flat le ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
. This paper gives necessary and sufficient conditions on a monoid S such that the class of flat left S-acts is (first order) axiomatisable. It presents also a streamlined version of the result of Stepanova that the class of projective left S-acts is axiomatisable if and only if the strongly flat left S-acts are axiomatisable and S is left perfect. 1.
