Search dblp for Publications

export results for "toc:db/conf/ershov/ershov1979.bht:"

 download as .bib file

@proceedings{DBLP:conf/ershov/1979,
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-11157-3},
  doi          = {10.1007/3-540-11157-3},
  isbn         = {3-540-11157-3},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/1979.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Adelson-VelskiiS79,
  author       = {G. M. Adelson{-}Velskiy and
                  A. O. Slisenko},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {What can we do with problems of exhaustive search?},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {315--342},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_33},
  doi          = {10.1007/3-540-11157-3\_33},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Adelson-VelskiiS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/AlderS79,
  author       = {A. Alder and
                  Volker Strassen},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {The algorithmic complexity of linear algebras},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {343--354},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_34},
  doi          = {10.1007/3-540-11157-3\_34},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/AlderS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Anisimov79,
  author       = {A. V. Anisimov},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Church-Rosser transformers and decidable properties of tree processing},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {449--457},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_43},
  doi          = {10.1007/3-540-11157-3\_43},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Anisimov79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Barzdin79,
  author       = {J. M. Barzdin},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {On inductive synthesis of programs},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {235--254},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_28},
  doi          = {10.1007/3-540-11157-3\_28},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Barzdin79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Bauer79,
  author       = {Friedrich L. Bauer},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Algorithms and algebra},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {421--429},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_39},
  doi          = {10.1007/3-540-11157-3\_39},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Bauer79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Buda79,
  author       = {Anatoliy O. Buda},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {On the experience of riding two horses in programming},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {444--448},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_42},
  doi          = {10.1007/3-540-11157-3\_42},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Buda79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Ershov79,
  author       = {Andrei P. Ershov},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Abstract computability on algebraic structures},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {397--420},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_38},
  doi          = {10.1007/3-540-11157-3\_38},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Ershov79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Ershov79a,
  author       = {Yuri Leonidovich Ershov},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {How does algebra help to solve problems from the theory of algorithms
                  (an example)},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {462--463},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Ershov79a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Glushkov79,
  author       = {V. M. Glushkov},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {On formal transformations of algorithms},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {430--440},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_40},
  doi          = {10.1007/3-540-11157-3\_40},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Glushkov79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Kapitonova79,
  author       = {Julia V. Kapitonova},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {On design and implementation of algorithms},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {462},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Kapitonova79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Kleene79,
  author       = {Stephen Cole Kleene},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Algorithms in various contexts},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {355--360},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_35},
  doi          = {10.1007/3-540-11157-3\_35},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Kleene79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Knuth79,
  author       = {Donald E. Knuth},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Algorithms in modern mathematics and computer science},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {82--99},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_26},
  doi          = {10.1007/3-540-11157-3\_26},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Knuth79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Kreczmar79,
  author       = {Antoni Kreczmar},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Some historical remarks on algorithmic logic},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {460},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Kreczmar79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Letichevsky79,
  author       = {Alexander A. Letichevsky},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {On finding invariant relations of programs},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {304--314},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_32},
  doi          = {10.1007/3-540-11157-3\_32},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Letichevsky79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Manin79,
  author       = {Yuri I. Manin},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Expanding constructive universes},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {255--260},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_29},
  doi          = {10.1007/3-540-11157-3\_29},
  timestamp    = {Fri, 28 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Manin79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Matijasevic79,
  author       = {Yuri Matijasevic},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {What should we do having proved a decision problem to be unsolvable?},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {441--448},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_41},
  doi          = {10.1007/3-540-11157-3\_41},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Matijasevic79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Mazurkiewicz79,
  author       = {Antoni W. Mazurkiewicz},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Concurrent algorithms schemata},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {460--461},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Mazurkiewicz79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Nagorny79,
  author       = {N. M. Nagorny},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Algorithm as a basis for Formulating constructive mathematical notions},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {463--464},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Nagorny79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Nepeivoda79,
  author       = {N. N. Nepeivoda},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {The logical approach to programming},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {261--289},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_30},
  doi          = {10.1007/3-540-11157-3\_30},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Nepeivoda79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Paterson79,
  author       = {Mike Paterson},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {The linear postman: a message-forwarding algorithm using sequential
                  storage},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {463},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Paterson79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Salikhov79,
  author       = {G. N. Salikhov},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {On an Algorithm for finding weights and nodes of cubic formulae},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {465},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Salikhov79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Shanin79,
  author       = {Nikolai A. Shanin},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Role of a notion of algorithms in the arithmetic language semantics},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {361--389},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_36},
  doi          = {10.1007/3-540-11157-3\_36},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Shanin79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Sirazhdinov79,
  author       = {S. Kh. Sirazhdinov},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {On Euler numbers and Euler polynomial roots},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {464--465},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Sirazhdinov79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Trakhtenbrot79,
  author       = {Boris A. Trakhtenbrot},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Some reflections on the connection between computer science and the
                  theory of algorithms},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {461--462},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Trakhtenbrot79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Tseytin79,
  author       = {Gregory S. Tseytin},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {From logicism of proceduralsm (an autobiographical account)},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {390--396},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_37},
  doi          = {10.1007/3-540-11157-3\_37},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Tseytin79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Tyugu79,
  author       = {Enn Tyugu},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {The structural synthesis of programs},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {290--303},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_31},
  doi          = {10.1007/3-540-11157-3\_31},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Tyugu79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/UspenskyS79,
  author       = {Vladimir A. Uspensky and
                  Alexei L. Semenov},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {What are the gains of the theory of algorithms: Basis developments
                  connected with the concept of algorithm and with its application in
                  mathematics},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {100--234},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_27},
  doi          = {10.1007/3-540-11157-3\_27},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/UspenskyS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Wijngaarden79,
  author       = {Adriaan van Wijngaarden},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Languageless programming},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {459},
  publisher    = {Springer},
  year         = {1979},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/Wijngaarden79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/X79,
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {Supplement 1 summaries of oral presentations},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {458--465},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_44},
  doi          = {10.1007/3-540-11157-3\_44},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/X79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Zemanek79,
  author       = {Heinz Zemanek},
  editor       = {Andrei P. Ershov and
                  Donald E. Knuth},
  title        = {{DIXIT} Algorizmi - His Background, his Personality, his Work, and
                  his Influence},
  booktitle    = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
                  Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {122},
  pages        = {1--81},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11157-3\_25},
  doi          = {10.1007/3-540-11157-3\_25},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Zemanek79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics