activity
20212025
most citedSymbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory)

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

collaborators
Showing 2021 · cs.LOShow all

1 paper · 2 filters

cs.LO2021★ 3 cited

Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory)

Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans

We analyze possibilities of second-order quantifier elimination for formulae containing parameters -- constants or functions. For this, we use a constraint resolution calculus obta…