Skip to content

On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic.

Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi

VenueCCiE
Year2012
ProceedingsCiE

Browse the full CiE paper archive.