Limitations of the invertible-map equivalences

Dawar, Anuj; Grädel, Erich (Corresponding author); Lichter, Moritz

Eynsham, Oxford : Oxford Univ. Press (2022, 2023)
Fachzeitschriftenartikel

In: Journal of logic and computation
Band: 33
Heft: 5
Seite(n)/Artikel-Nr.: 961-969

Einrichtungen

• Fachgruppe Mathematik [110000]
• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]