DMCA

Characterizing Conclusive Approximations by Logical Formulae

by Y. Boichut , T.-B.-H. Dao , V. Murat
Citations:4 - 2 self