Foreword: special issue on coalgebraic logic.

Ernst-Erich Doberkat Alexander Kurz

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

special issue
international journal
ai edam
ecml pkdd
applied intelligence
logic programming
predicate logic
special section
proof theory
modal logic
classical logic
asynchronous circuits
logical framework