491 search results - page 4 / 99 » Linear Quantifier Elimination |
136
Voted
KR
1992
Springer
15 years 9 months ago
1992
Springer
An algorithm is presented which eliminates second
160
Voted
CSR
2008
Springer
15 years 5 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...
111
Voted
FLOPS
2010
Springer
16 years 13 days ago
2010
Springer
CAV
2010
Springer
15 years 9 months ago
2010
Springer