BibTeX records: Mark Lavin

download as .bib file

@article{DBLP:journals/cc/KaltofenL10,
  author    = {Erich Kaltofen and
               Mark Lavin},
  title     = {Efficiently Certifying Non-Integer Powers},
  journal   = {Computational Complexity},
  volume    = {19},
  number    = {3},
  pages     = {355--366},
  year      = {2010},
  url       = {https://doi.org/10.1007/s00037-010-0297-x},
  doi       = {10.1007/s00037-010-0297-x},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cc/KaltofenL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SilvermanTL87,
  author    = {Gary Silverman and
               Roger Y. Tsai and
               Mark Lavin},
  title     = {Locating Polyhedral Objects from Edge Point Data},
  booktitle = {Proceedings of the 10th International Joint Conference on Artificial
               Intelligence. Milan, Italy, August 23-28, 1987},
  pages     = {1149--1152},
  year      = {1987},
  crossref  = {DBLP:conf/ijcai/1987},
  url       = {http://ijcai.org/Proceedings/87-2/Papers/113.pdf},
  timestamp = {Tue, 19 Jul 2016 12:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/SilvermanTL87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1987,
  editor    = {John P. McDermott},
  title     = {Proceedings of the 10th International Joint Conference on Artificial
               Intelligence. Milan, Italy, August 23-28, 1987},
  publisher = {Morgan Kaufmann},
  year      = {1987},
  url       = {http://ijcai.org/proceedings/1987-1},
  timestamp = {Tue, 19 Jul 2016 12:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier