Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jar/BezemHN02,
  author       = {Marc Bezem and
                  Dimitri Hendriks and
                  Hans de Nivelle},
  title        = {Automated Proof Construction in Type Theory Using Resolution},
  journal      = {J. Autom. Reason.},
  volume       = {29},
  number       = {3-4},
  pages        = {253--275},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1021939521172},
  doi          = {10.1023/A:1021939521172},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BezemHN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BezemHN00,
  author       = {Marc Bezem and
                  Dimitri Hendriks and
                  Hans de Nivelle},
  editor       = {David A. McAllester},
  title        = {Automated Proof Construction in Type Theory Using Resolution},
  booktitle    = {Automated Deduction - CADE-17, 17th International Conference on Automated
                  Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1831},
  pages        = {148--163},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721959\_10},
  doi          = {10.1007/10721959\_10},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BezemHN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Andrews71,
  author       = {Peter B. Andrews},
  title        = {Resolution in Type Theory},
  journal      = {J. Symb. Log.},
  volume       = {36},
  number       = {3},
  pages        = {414--432},
  year         = {1971},
  url          = {https://doi.org/10.2307/2269949},
  doi          = {10.2307/2269949},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Andrews71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}