default search action
Search dblp for Publications
export results for "toc:db/conf/ershov/ershov1979.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.