Rank logic is dead, long live rank logic!
Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author)
(2015)
Preprint
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-210850
Skip to Content Skip to Main Navigation Skip to Footer Skip to Search
Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author)
(2015)
Preprint