Rank logic is dead, long live rank logic!

(2015) [Preprint]

Authors

Selected Authors

Grädel, Erich
Pakusa, Wied

Identifier

  • REPORT NUMBER: RWTH-CONV-210850