BibTeX records: J. M. Barzdin

• > Home > Persons > J. M. Barzdin

@article{DBLP:journals/tcs/BarzdinB91,
  author       = {J. M. Barzdin and
                  G. J. Barzdin},
  title        = {Rapid Constructions of Algebraic Axioms From Samples},
  journal      = {Theor. Comput. Sci.},
  volume       = {90},
  number       = {1},
  pages        = {199--208},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90307-N},
  doi          = {10.1016/0304-3975(91)90307-N},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BarzdinB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip/Barzdin83,
  author       = {J. M. Barzdin},
  editor       = {R. E. A. Mason},
  title        = {Some Rules of Inductive Inference and their Use for Program Synthesis},
  booktitle    = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
                  Congress, Paris, France, September 19-23, 1983},
  pages        = {333--338},
  publisher    = {North-Holland/IFIP},
  year         = {1983},
  timestamp    = {Sun, 28 Jul 2019 17:03:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Barzdin83.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, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/Barzdin79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Barzdin79,
  author       = {J. M. Barzdin},
  editor       = {Jir{\'{\i}} Becv{\'{a}}r},
  title        = {The Problem of Reachability and Verification of Programs},
  booktitle    = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
                  Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {74},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-09526-8\_2},
  doi          = {10.1007/3-540-09526-8\_2},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Barzdin79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip/Barzdin71,
  author       = {J. M. Barzdin},
  editor       = {Charles V. Freiman and
                  John E. Griffith and
                  Jack L. Rosenfeld},
  title        = {Prognostication of Automata and Functions},
  booktitle    = {Information Processing, Proceedings of {IFIP} Congress 1971, Volume
                  1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28,
                  1971},
  pages        = {81--84},
  publisher    = {North-Holland},
  year         = {1971},
  timestamp    = {Fri, 26 Jul 2019 15:39:56 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Barzdin71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}