BibTeX records: Richard Sommer

download as .bib file

@inproceedings{DBLP:conf/sigcse/VachovskyWCRSL16,
  author    = {Marie E. Vachovsky and
               Grace Wu and
               Sorathan Chaturapruek and
               Olga Russakovsky and
               Richard Sommer and
               Li Fei{-}Fei},
  editor    = {Carl Alphonce and
               Jodi L. Tims and
               Michael E. Caspersen and
               Stephen H. Edwards},
  title     = {Toward More Gender Diversity in {CS} through an Artificial Intelligence
               Summer Program for High School Girls},
  booktitle = {Proceedings of the 47th {ACM} Technical Symposium on Computing Science
               Education, {SIGCSE} 2016, Memphis, TN, USA, March 02 - 05, 2016},
  pages     = {303--308},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2839509.2844620},
  doi       = {10.1145/2839509.2844620},
  timestamp = {Mon, 13 Dec 2021 09:32:31 +0100},
  biburl    = {https://dblp.org/rec/conf/sigcse/VachovskyWCRSL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SommerN04,
  author    = {Richard Sommer and
               Gregory Nuckols},
  title     = {A Proof Environment for Teaching Mathematics},
  journal   = {J. Autom. Reason.},
  volume    = {32},
  number    = {3},
  pages     = {227--258},
  year      = {2004},
  url       = {https://doi.org/10.1023/B:JARS.0000044825.55318.95},
  doi       = {10.1023/B:JARS.0000044825.55318.95},
  timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/SommerN04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/McMathRS01,
  author    = {David McMath and
               Marianna Rozenfeld and
               Richard Sommer},
  editor    = {Robert Nieuwenhuis and
               Andrei Voronkov},
  title     = {A Computer Environment for Writing Ordinary Mathematical Proofs},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
               International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2250},
  pages     = {507--516},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45653-8\_35},
  doi       = {10.1007/3-540-45653-8\_35},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/McMathRS01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AvigadS99,
  author    = {Jeremy Avigad and
               Richard Sommer},
  title     = {The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength},
  journal   = {J. Symb. Log.},
  volume    = {64},
  number    = {1},
  pages     = {327--349},
  year      = {1999},
  url       = {https://doi.org/10.2307/2586768},
  doi       = {10.2307/2586768},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jsyml/AvigadS99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/AvigadS97,
  author    = {Jeremy Avigad and
               Richard Sommer},
  title     = {A model-theoretic approach to ordinal analysis},
  journal   = {Bull. Symb. Log.},
  volume    = {3},
  number    = {1},
  pages     = {17--52},
  year      = {1997},
  url       = {https://doi.org/10.2307/421195},
  doi       = {10.2307/421195},
  timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/bsl/AvigadS97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sommer95,
  author    = {Richard Sommer},
  title     = {Transfinite Induction within Peano Arithmetic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {76},
  number    = {3},
  pages     = {231--289},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(95)00029-G},
  doi       = {10.1016/0168-0072(95)00029-G},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Sommer95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics