BibTeX record conf/icalp/HitchcockP72

download as .bib file

@inproceedings{DBLP:conf/icalp/HitchcockP72,
  author    = {Peter Hitchcock and
               David Michael Ritchie Park},
  title     = {Induction Rules and Termination Proofs},
  booktitle = {Automata, Languages and Programming, Colloquium, Paris, France, July
               3-7, 1972},
  pages     = {225--251},
  year      = {1972},
  crossref  = {DBLP:conf/icalp/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}
}
@proceedings{DBLP:conf/icalp/1972,
  editor    = {Maurice Nivat},
  title     = {Automata, Languages and Programming, Colloquium, Paris, France, July
               3-7, 1972},
  publisher = {North-Holland, Amsterdam},
  year      = {1972},
  isbn      = {0-7204-2074-1},
  timestamp = {Wed, 20 Oct 2021 18:42:47 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/1972.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics