Limitations of the invertible-map equivalences

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

Eynsham, Oxford : Oxford Univ. Press (2022)
Journal Article

In: Journal of logic and computation