R. I. Podlovchenko, “Solvability of the problem of equivalent transformations in special automaton models of recursive programs”, Dokl. Akad. Nauk, 1994, Volume 337, Number 5,Pages <nobr>577

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk, 1994 Volume 337, Number 5, Pages 577–580 (Mi dan4723)

MATHEMATICS

Solvability of the problem of equivalent transformations in special automaton models of recursive programs

R. I. Podlovchenko

Lomonosov Moscow State University

UDC: 519.1

Presented: Yu. I. Zhuravlev
Received: 12.11.1993

Fulltext: PDF file (375 kB)

English version: Doklady Mathematics, 1995, 50:1, 132–136

Bibliographic databases: