Expressivity of coalgebraic modal logic: The limits and beyond (2005)

by Lutz Schröder
Venue:IN FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME 3441 OF LNCS
Citations:39 - 13 self