activity
20172022
most citedHeinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.LO2017★ 1 cited

Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic

Christoph Wernhard

For relational monadic formulas (the Löwenheim class) second-order quantifier elimination, which is closely related to computation of uniform interpolants, projection and forgettin…