491 search results - page 4 / 99 » Linear Quantifier Elimination |
111
Voted
KR
1992
Springer
15 years 7 months ago
1992
Springer
An algorithm is presented which eliminates second
134
Voted
CSR
2008
Springer
15 years 3 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
15 years 10 months ago
2010
Springer
90
Voted
KI
1998
Springer
15 years 7 months ago
1998
Springer
79
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer