Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations

Jean-Yves Moyen, Jakob Grue Simonsen. Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations. In Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández Duque, editors, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings. Volume 12813 of Lecture Notes in Computer Science, pages 363-372, Springer, 2021. [doi]

Abstract

Abstract is missing.