BibTeX record conf/icalp/HitchcockP72

download as .bib file

@inproceedings{DBLP:conf/icalp/HitchcockP72,
  author    = {Peter Hitchcock and
               David Michael Ritchie Park},
  editor    = {Maurice Nivat},
  title     = {Induction Rules and Termination Proofs},
  booktitle = {Automata, Languages and Programming, Colloquium, Paris, France, July
               3-7, 1972},
  pages     = {225--251},
  publisher = {North-Holland, Amsterdam},
  year      = {1972},
  timestamp = {Mon, 08 Jul 2019 11:03:55 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/HitchcockP72.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics