DEFINABILITY OF RECURSIVELY ENUMERABLE SETS IN ABSTRACT COMPUTATIONAL COMPLEXITY THEORY.

Autor: Byerly, Robert E.1
Zdroj: Mathematical Logic Quarterly. 1984, Vol. 30 Issue 32-34, p499-503. 5p.
Databáze: Academic Search Ultimate