This page shows all presentations of this author published in EasyChair Smart Slide.
A Grounder From Second-Order Logic To QBF
Matthias van der Hallen and Gerda Janssens