DMCA

• Category Theory applied in Automata Theory • Graph Transformations in a Category setting • Dynamic, Modal, and Higher-order Logics. (2005)

by H. Ehrig , B. Jacobs , H. -j. Kreowski , B. Krieg-brückner , Chr Lüth , T. Mossakowski , J. J. M. M. Rutten , L. Schröder , Franz Baader , Manfred Droste , Bernhard Ganter , Steffen Hölldobler , Dietrich Kuske , Reinhard Pöschel , Michael Thielscher , Heiko Vogler