Fokina, E. B., & Terwijn, S. (2024). Computable Structure Theory of Partial Combinatory Algebras. In Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings (pp. 265–276). Springer Cham. https://doi.org/10.1007/978-3-031-64309-5_21 ( reposiTUm)
Präsentationen
Benavente-Fokina, E. (2024, July 23). On structures with non-computable presentations [Conference Presentation]. AMS-UMI International Joint Meeting 2024, Palermo, Italy. ( reposiTUm)
Ritter, M. C. (2024, June 28). Isomorphism relations on classes of c.e. structures [Conference Presentation]. Logic Colloquium 2024, Göteburg, Sweden. ( reposiTUm)
Cipriani, V. (2024, June 28). Isomorphism problems and learning of algebraic structures [Conference Presentation]. Logic Colloquium 2024, Göteburg, Sweden. http://hdl.handle.net/20.500.12708/210535 ( reposiTUm)
Cipriani, V. (2024, July 18). On the computational complexity of unfriendly partitions [Conference Presentation]. computability and complexity in analysis 2024, Swansea, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/210541 ( reposiTUm)
Cipriani, V. (2024, July 12). Classifying isomorphism problems and learning of algebraic structures [Conference Presentation]. Computability in Europe 2024, Amsterdam, Netherlands (the). http://hdl.handle.net/20.500.12708/210533 ( reposiTUm)
Cipriani, V. (2024, March 12). Classifying isomorphism problems and learning of algebraic structures [Presentation]. UW Madison logic seminar 2024, United States of America (the). http://hdl.handle.net/20.500.12708/210530 ( reposiTUm)
Ritter, M. C. (2024, July 8). Isomorphism relations on classes of c.e. structures [Conference Presentation]. 20th Conference on Computability in Europe, Amsterdam, Netherlands (the). ( reposiTUm)