BibTeX records: Richard Eaton

• > Home > Persons > Richard Eaton

@article{DBLP:journals/japll/AllenBCEKLM06,
  author       = {Stuart F. Allen and
                  Mark Bickford and
                  Robert L. Constable and
                  Richard Eaton and
                  Christoph Kreitz and
                  Lori Lorigo and
                  E. Moran},
  title        = {Innovations in computational type theory using Nuprl},
  journal      = {J. Appl. Log.},
  volume       = {4},
  number       = {4},
  pages        = {428--469},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jal.2005.10.005},
  doi          = {10.1016/J.JAL.2005.10.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/AllenBCEKLM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/LorigoKEC04,
  author       = {Lori Lorigo and
                  Jon M. Kleinberg and
                  Richard Eaton and
                  Robert L. Constable},
  editor       = {Andrea Asperti and
                  Grzegorz Bancerek and
                  Andrzej Trybulec},
  title        = {A Graph-Based Approach Towards Discerning Inherent Structures in a
                  Digital Library of Formal Mathematics},
  booktitle    = {Mathematical Knowledge Management, Third International Conference,
                  {MKM} 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3119},
  pages        = {220--235},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27818-4\_16},
  doi          = {10.1007/978-3-540-27818-4\_16},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/LorigoKEC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/HickeyNCABBEGKKKLSWY03,
  author       = {Jason Hickey and
                  Aleksey Nogin and
                  Robert L. Constable and
                  Brian E. Aydemir and
                  Eli Barzilay and
                  Yegor Bryukhov and
                  Richard Eaton and
                  Adam Granicz and
                  Alexei Kopylov and
                  Christoph Kreitz and
                  Vladimir Krupski and
                  Lori Lorigo and
                  Stephan Schmitt and
                  Carl Witty and
                  Xin Yu},
  editor       = {David A. Basin and
                  Burkhart Wolff},
  title        = {MetaPRL - {A} Modular Logical Environment},
  booktitle    = {Theorem Proving in Higher Order Logics, 16th International Conference,
                  TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2758},
  pages        = {287--303},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/10930755\_19},
  doi          = {10.1007/10930755\_19},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/HickeyNCABBEGKKKLSWY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AllenCEKL00,
  author       = {Stuart F. Allen and
                  Robert L. Constable and
                  Richard Eaton and
                  Christoph Kreitz and
                  Lori Lorigo},
  editor       = {David A. McAllester},
  title        = {The Nuprl Open Logical Environment},
  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        = {170--176},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721959\_12},
  doi          = {10.1007/10721959\_12},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AllenCEKL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}