The SCEAS System
Navigation Menu

Conferences in DBLP

Ershov Memorial Conference (ershov)
1979 (conf/ershov/1979)

  1. Heinz Zemanek
    DIXIT Algorizmi - His Background, his Personality, his Work, and his Influence. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:1-81 [Conf]
  2. Donald E. Knuth
    Algorithms in modern mathematics and computer science. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:82-99 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:100-234 [Conf]
  4. J. M. Barzdin
    On inductive synthesis of programs. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:235-254 [Conf]
  5. Yu. I. Manin
    Expanding constructive universes. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:255-260 [Conf]
  6. N. N. Nepeivoda
    The logical approach to programming. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:261-289 [Conf]
  7. Enn Tyugu
    The structural synthesis of programs. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:290-303 [Conf]
  8. Alexander A. Letichevsky
    On finding invariant relations of programs. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:304-314 [Conf]
  9. G. M. Adelson-Velskiy, A. O. Slisenko
    What can we do with problems of exhaustive search?. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:315-342 [Conf]
  10. A. Alder, Volker Strassen
    The algorithmic complexity of linear algebras. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:343-354 [Conf]
  11. Stephen Cole Kleene
    Algorithms in various contexts. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:355-360 [Conf]
  12. N. A. Shanin
    Role of a notion of algorithms in the arithmetic language semantics. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:361-389 [Conf]
  13. Gregory S. Tseytin
    From logicism of proceduralsm (an autobiographical account). [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:390-396 [Conf]
  14. Andrei P. Ershov
    Abstract computability on algebraic structures. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:397-420 [Conf]
  15. Friedrich L. Bauer
    Algorithms and algebra. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:421-429 [Conf]
  16. V. M. Glushkov
    On formal transformations of algorithms. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:430-440 [Conf]
  17. Yuri Matijasevic
    What should we do having proved a decision problem to be unsolvable? [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:441-448 [Conf]
  18. Anatoly Buda
    On the experience of riding two horses in programming. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:444-448 [Conf]
  19. A. V. Anisimov
    Church-Rosser transformers and decidable properties of tree processing. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:449-457 [Conf]
  20. Adriaan van Wijngaarden
    Languageless programming. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:459-459 [Conf]
  21. Antoni W. Mazurkiewicz
    Concurrent algorithms schemata. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:460-461 [Conf]
  22. Antoni Kreczmar
    Some historical remarks on algorithmic logic. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:460-460 [Conf]
  23. Boris A. Trakhtenbrot
    Some reflections on the connection between computer science and the theory of algorithms. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:461-462 [Conf]
  24. Julia V. Kapitonova
    On design and implementation of algorithms. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:462- [Conf]
  25. Yuri Leonidovich Ershov
    How does algebra help to solve problems from the theory of algorithms (an example). [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:462-463 [Conf]
  26. Mike Paterson
    The linear postman: a message-forwarding algorithm using sequential storage. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:463- [Conf]
  27. N. M. Nagorny
    Algorithm as a basis for Formulating constructive mathematical notions. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:463-464 [Conf]
  28. S. Kh. Sirazhdinov
    On Euler numbers and Euler polynomial roots. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:464-465 [Conf]
  29. G. N. Salikhov
    On an Algorithm for finding weights and nodes of cubic formulae. [Citation Graph (0, 0)][DBLP]
    Algorithms in Modern Mathematics and Computer Science, 1979, pp:465- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002