BibTeX records: Christopher D. S. Moss

download as .bib file

@inproceedings{DBLP:conf/iclp/Moss83,
  author    = {Christopher D. S. Moss},
  editor    = {Lu{\'{\i}}s Moniz Pereira and
               Ant{\'{o}}nio Porto and
               Lu{\'{\i}}s Monteiro and
               Miguel Figueiras},
  title     = {Computing with Sequences},
  booktitle = {Logic Programming Workshop '83, Praia da Fal{\'{e}}sia, Algarve,
               Portugal, 26 June - 1 July, 1983, Proceedings},
  pages     = {623--630},
  publisher = {N{\'{u}}cleo de Intellig{\^{e}}ncia Artificial, Universidade
               Nova De Lisboa, Portugal},
  year      = {1983},
  url       = {http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p623-Moss.pdf},
  timestamp = {Thu, 12 Mar 2020 11:37:20 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/Moss83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Moss82,
  author    = {Christopher D. S. Moss},
  title     = {How to Define a Language Using {PROLOG}},
  booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
               {LFP} 1980, August 15-18, 1982, Pittsburgh, PA, {USA.}},
  pages     = {67--73},
  publisher = {{ACM}},
  year      = {1982},
  timestamp = {Sat, 03 Aug 2019 15:23:05 +0200},
  biburl    = {https://dblp.org/rec/conf/lfp/Moss82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Moss81,
  author    = {Christopher D. S. Moss},
  title     = {The formal description of programming languages using predicate logic},
  school    = {Imperial College London, {UK}},
  year      = {1981},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278470},
  timestamp = {Mon, 10 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/ethos/Moss81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics