Showing 1 - 1 results of 1 for search 'Michael Vanden Boom', query time: 0.03s
Refine Results
-
1
Definability and Interpolation within Decidable Fixpoint Logics by Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
Published 2019-09-01
Article