Limitations of the invertible-map equivalences

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

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

In: Journal of logic and computation
Volume: 33
Issue: 5
Page(s)/Article-Nr.: 961-969

Institutions

• Department of Mathematics [110000]
• Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]