Modular algorithms for heterogeneous modal logics (2007)

Cached

Download Links

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