|
|||||||||||
Документы, связанные с Редакция журнала "Information Processing Letters" Почтовая карточка, 10.02.1982 Редакция подтверждает получение статьи.
Почтовая карточка, Я. Мёйр->А.П. Ершов, 01.02.1980Подтверждает получение статьи.
Регистрационная карточка, 18.01.1983на статью "Polynomial complete problems in automata theory".
Регистрационная карточка, 16.01.1984на статью М.Б. Трахтенброта "Some equivalent transformations of recursive programs based on their schematic properties".
Регистрационная карточка, 07.08.1984на статью "Evaluating expressions with a queue".
Регистрационная карточка, 02.07.1984на статью "On software equations".
Регистрационная карточка, 01.03.1983на статью Г. Тирри "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems".
Регистрационная карточка, 25.05.1981на статью Р. Фрейвалда "Projections of languages recognizable by probabilistic and alternating finite multitape automata".
Регистрационная карточка, 12.01.1987на статью "Super-exponentials non-primitive recursive, but rudimentary".
Регистрационная карточка, 01.09.1980на статью Е.Б. Кинбера "On inclusion problem for deterministic multitape automata".
Регистрационная карточка, 12.07.1984на статью "On separation of the emptiness and equivalence problems for program scheme".
Регистрационная карточка, 03.10.1987на статью Ч. Консела и О. Дэнви "Partial Evaluation of Pattern Matching in Strings".
Регистрационная карточка, 22.10.1981на статью "The tree equivalence of linear recursive schemata is polinomial-time decidable".
Регистрационная карточка, 23.08.1985на статью "On the calculation of control transition probabilities in a program".
Регистрационная карточка, 22.01.1982на статью А.О. Слисенко "Context-free grammars as a tool for describing polynomial-time subclasses of hard problems".
Регистрационная карточка, 21.03.1985на статью В. Кряучюкаса "Tree-like Parsing and Polynomial Subclasses of Search Problems".
Регистрационная карточка, 27.06.1984на статью С. Пасси и Т. Тинчева "PDL with Data Constants".
Регистрационная карточка, 15.10.1985на статью "Semantics of a Declarative Language".
Регистрационная карточка, 03.10.1987на статью К. Бэляну и Д. Томеску "An architecture for symbolic processing".
Регистрационная карточка, 21.03.1985на статью А. Кфури "The Unwind Property for Programs with Bounded Memory".
1 2 3 4 5 6 7 8 9 По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|