Freidzon, R. I. On the representability of algorithmically decidable predicates by Rabin machines. (English. Russian original) Zbl 0188.02901 Sem. in Mathematics, V.A. Steklov Math. Inst., Leningrad 4, 85-88 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 4, 209-218 (1967). × Cite Format Result Cite Review PDF
Freidzon, R. I. Representation of recursive predicates by Rabin’s machines. (Russian) Zbl 0167.01503 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 4, 209-218 (1967). × Cite Format Result Cite Review PDF Full Text: EuDML