Skip to main content
documents
about archive
about project
Andrei Ershov
in Russian
Preliminary proceedings
Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Symposium "Algorithms in Modern Mathematics and Computer Science"
Preliminary proceedings
Сортировать по
Номер
Дата
Order
Возр.
Убыв.
On an algorithm for finding weights and nodes of cubic formulae (hand-written),
10.07.1981
On inductive synthesis of programs,
22.04.1980
Supplement 4,
15.07.1981
Supplement 3 (hand-written),
15.07.1981
Supplement 2 (hand-written),
17.06.1981
Supplement 1,
17.06.1981
Table of contents of the English edition,
16.06.1981
Table of contents of the English edition,
16.06.1981
Foreword to the English edition,
16.06.1981
Supplement 5 to the English edition,
17.07.1981
Notes (hand-written),
01.06.1981
Table of pre-publishing stepwise work with the papers
Supplement 3,
14.11.1982
Hand-written notes,
14.11.1982
Supplement 2 ,
14.11.1982
Hand-written notes,
14.11.1982
Supplement 1,
14.11.1981
Hand-written notes,
14.11.1981
Origins of recursive function theory,
27.04.1982
Origins of recursive function theory,
14.09.1981
Hand-written notes,
14.09.1981
Church-Rosser transformers and decidable properties of tree processing,
07.12.1979
Hand-written notes,
07.12.1979
On the experience of riding two horses in programming,
29.12.1979
Hand-written notes,
29.12.1979
What should we do having proved a decision problem to be unsolvable?,
09.01.1980
Hand-written notes,
09.01.1980
On formal transformations of algorithms,
04.06.1980
Hand-written notes,
04.06.1980
Algorithms and algebra,
22.11.1980
Hand-written notes,
22.11.1980
Abstract computability in algebraic systems,
28.04.1982
Hand-written notes,
28.04.1982
From logicism to proceduralism,
23.10.1980
Hand-written notes,
23.10.1980
Role of a notion of algorithm in the arithmetic language semantics,
28.04.1982
Hand-written notes,
28.04.1982
Algorithms in various contexts,
19.06.1982
Letter,
22.03.1982
Algorithms in various contexts,
19.06.1982
Hand-written notes,
19.06.1982
The algorithmic complexity of linear algebras,
21.07.1981
Hand-written notes,
21.07.1981
What can we do with problems of exhaustive search?,
23.01.1980
Hand-written notes,
23.01.1980
Paper,
04.06.1980
Hand-written notes,
04.06.1980
The structural synthesis of programs,
21.01.1980
Hand-written notes,
21.01.1980
Hand-written notes,
22.04.1982
Pages
1
2
следующая ›
последняя »
Folders
Themes
