Rank logic is dead, long live rank logic!
Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author)
(2015)
Preprint
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- arXiv: arXiv:1503.05423
- RWTH PUBLICATIONS: RWTH-CONV-210850