Skip to ContentSkip to Navigation
University of Groningenfounded in 1614  -  top 100 university
About us Practical matters How to find us F.C. (Valentina) Trucco Dalmas

Publications

Propositional Dynamic Logic has Craig Interpolation: A tableau-based proof