Andrei P. Ershov, Donald E. Knuth, editors, Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979. Volume 122 of Lecture Notes in Computer Science, Springer, 1981.

Conference: ershov1981

Abstract is missing.

- DIXIT Algorizmi - His Background, his Personality, his Work, and his Influence1-81
- Algorithms in modern mathematics and computer science82-99
- What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics100-234
- On inductive synthesis of programs235-254
- Expanding constructive universes255-260
- The logical approach to programming261-289
- The structural synthesis of programs290-303
- On finding invariant relations of programs304-314
- What can we do with problems of exhaustive search?315-342
- The algorithmic complexity of linear algebras343-354
- Algorithms in various contexts355-360
- Role of a notion of algorithms in the arithmetic language semantics361-389
- From logicism of proceduralsm (an autobiographical account)390-396
- Abstract computability on algebraic structures397-420
- Algorithms and algebra421-429
- On formal transformations of algorithms430-440
- What should we do having proved a decision problem to be unsolvable?441-448
- On the experience of riding two horses in programming444-448
- Church-Rosser transformers and decidable properties of tree processing449-457
- Supplement 1 summaries of oral presentations458-465 [doi]
- Languageless programming459-459
- Concurrent algorithms schemata460-461
- Some historical remarks on algorithmic logic460-460
- Some reflections on the connection between computer science and the theory of algorithms461-462
- On design and implementation of algorithms462
- How does algebra help to solve problems from the theory of algorithms (an example)462-463
- Algorithm as a basis for Formulating constructive mathematical notions463-464
- The linear postman: a message-forwarding algorithm using sequential storage463
- On Euler numbers and Euler polynomial roots464-465
- On an Algorithm for finding weights and nodes of cubic formulae465