A. G. Dragalin, “A computability of primitive recursive terms of finite type and the primitive recursive realization”, Zap. Nauchn. Sem. LOMI, 1968, Volume 8,Pages <nobr>32

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1968 Volume 8, Pages 32–45 (Mi znsl2247)

A computability of primitive recursive terms of finite type and the primitive recursive realization

A. G. Dragalin

Bibliographic databases: