14 citations · 60 across the 17 of their papers we have counts for
1 paper · 2 filters
Claus-Peter Wirth
We investigate the elimination of quantifiers in first-order formulas via Hilbert's epsilon-operator (or -binder), following Bernays' explicit definitions of the existential and th…