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