295 search results - page 3 / 59 » Simultaneous Quantifier Elimination |
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...
ADBIS
2004
Springer
14 years 10 days ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
CSR
2008
Springer
13 years 8 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
CASC
2007
Springer
14 years 18 days ago
2007
Springer
