Modular algorithms for heterogeneous modal logics (2007)

by Lutz Schröder , Dirk Pattinson
Venue:IN AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP 07, VOL. 4596 OF LNCS
Citations:22 - 14 self