Computably enumerable equivalence relations via primitive r… — KazNU

Computably enumerable equivalence relations via primitive recursive reductions

2025 · Article

Publication year

2025

Source: Journal of Logic and Computation

DOI: 10.1093/logcom/exad082

Scopus: Open in Scopus

Fields of knowledge

Arts and Humanities (miscellaneous) Hardware and Architecture Software Logic Theoretical Computer Science