491 search results - page 4 / 99 » Linear Quantifier Elimination |
139
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
An algorithm is presented which eliminates second
165
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...
116
Voted
FLOPS
2010
Springer
16 years 20 days ago
2010
Springer
109
Voted
KI
1998
Springer
15 years 10 months ago
1998
Springer