Rank Logic Is Dead, Long Live Rank Logic!
Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author)
Cambridge : Cambridge Univ. Press (2019)
Fachzeitschriftenartikel
In: The journal of symbolic logic
Band: 84
Heft: 1
Seite(n)/Artikel-Nr.: 54-87
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- DOI: 10.1017/jsl.2018.33
- RWTH PUBLICATIONS: RWTH-2019-02878