Sciweavers

72
Voted
KR
1992
Springer
15 years 1 months ago
Quantifier Elimination in Second-Order Predicate Logic
An algorithm is presented which eliminates second
Dov M. Gabbay, Hans Jürgen Ohlbach