130
click to vote
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...