Algorithms in Modern Mathematics and Computer Science

Keyphrases

Publications

volume 122, 1981

Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, USSR, September 16-22, 1979 Algorithms in Modern Mathematics and Computer Science 122 (1981)

1979

N. A. Shanin
Role of a notion of algorithms in the arithmetic language semantics. Algorithms in Modern Mathematics and Computer Science (1979)
N. M. Nagorny
Algorithm as a basis for Formulating constructive mathematical notions. Algorithms in Modern Mathematics and Computer Science (1979)
Andrei P. Ershov
Abstract computability on algebraic structures. Algorithms in Modern Mathematics and Computer Science (1979)
Antoni W. Mazurkiewicz
Concurrent algorithms schemata. Algorithms in Modern Mathematics and Computer Science (1979)
Donald E. Knuth
Algorithms in modern mathematics and computer science. Algorithms in Modern Mathematics and Computer Science (1979)
Yuri Matijasevic
What should we do having proved a decision problem to be unsolvable? Algorithms in Modern Mathematics and Computer Science (1979)
A. V. Anisimov
Church-Rosser transformers and decidable properties of tree processing. Algorithms in Modern Mathematics and Computer Science (1979)
Gregory S. Tseytin
From logicism of proceduralsm (an autobiographical account). Algorithms in Modern Mathematics and Computer Science (1979)
Julia V. Kapitonova
On design and implementation of algorithms. Algorithms in Modern Mathematics and Computer Science (1979)
Boris A. Trakhtenbrot
Some reflections on the connection between computer science and the theory of algorithms. Algorithms in Modern Mathematics and Computer Science (1979)
Yuri Leonidovich Ershov
How does algebra help to solve problems from the theory of algorithms (an example). Algorithms in Modern Mathematics and Computer Science (1979)
Anatoliy O. Buda
On the experience of riding two horses in programming. Algorithms in Modern Mathematics and Computer Science (1979)
Vladimir A. Uspensky, Alexei L. Semenov
What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics. Algorithms in Modern Mathematics and Computer Science (1979)
J. M. Barzdin
On inductive synthesis of programs. Algorithms in Modern Mathematics and Computer Science (1979)
Yuri I. Manin
Expanding constructive universes. Algorithms in Modern Mathematics and Computer Science (1979)
Enn Tyugu
The structural synthesis of programs. Algorithms in Modern Mathematics and Computer Science (1979)
Mike Paterson
The linear postman: a message-forwarding algorithm using sequential storage. Algorithms in Modern Mathematics and Computer Science (1979)
Antoni Kreczmar
Some historical remarks on algorithmic logic. Algorithms in Modern Mathematics and Computer Science (1979)
Adriaan van Wijngaarden
Languageless programming. Algorithms in Modern Mathematics and Computer Science (1979)
G. N. Salikhov
On an Algorithm for finding weights and nodes of cubic formulae. Algorithms in Modern Mathematics and Computer Science (1979)
Friedrich L. Bauer
Algorithms and algebra. Algorithms in Modern Mathematics and Computer Science (1979)
Stephen Cole Kleene
Algorithms in various contexts. Algorithms in Modern Mathematics and Computer Science (1979)
N. N. Nepeivoda
The logical approach to programming. Algorithms in Modern Mathematics and Computer Science (1979)
G. M. Adelson-Velskiy, A. O. Slisenko
What can we do with problems of exhaustive search?. Algorithms in Modern Mathematics and Computer Science (1979)
A. Alder, Volker Strassen
The algorithmic complexity of linear algebras. Algorithms in Modern Mathematics and Computer Science (1979)
Heinz Zemanek
DIXIT Algorizmi - His Background, his Personality, his Work, and his Influence. Algorithms in Modern Mathematics and Computer Science (1979)
Alexander A. Letichevsky
On finding invariant relations of programs. Algorithms in Modern Mathematics and Computer Science (1979)
V. M. Glushkov
On formal transformations of algorithms. Algorithms in Modern Mathematics and Computer Science (1979)
S. Kh. Sirazhdinov
On Euler numbers and Euler polynomial roots. Algorithms in Modern Mathematics and Computer Science (1979)