Computably enumerable equivalence relations via primitive r… — ҚазҰУ

Computably enumerable equivalence relations via primitive recursive reductions

2025 · Article
Жарияланымдарға оралу

Жариялану жылы

2025

Авторлар

Дереккөз: Journal of Logic and Computation

DOI: 10.1093/logcom/exad082

Scopus: Жазбаны Scopus-та ашу

Білім салалары

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