Foreword: special issue on coalgebraic logic.

Ernst-Erich Doberkat Alexander Kurz

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

Keyphrases

special issue
ecml pkdd
international journal
ai edam
applied intelligence
logic programming
special section
modal logic
multi valued
control system
predicate logic
data mining
classical logic
proof theory