DBLP Record 'conf/tcs/Boudol79'

BibTeX

@inproceedings{DBLP:conf/tcs/Boudol79,
  author    = {G{\'e}rard Boudol},
  title     = {A new Recursion Induction Principle},
  booktitle = {Theoretical Computer Science},
  year      = {1979},
  pages     = {79-90},
  crossref  = {DBLP:conf/tcs/1979},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tcs/1979,
  editor    = {Klaus Weihrauch},
  title     = {Theoretical Computer Science, 4th GI-Conference, Aachen,
               Germany, March 26-28, 1979, Proceedings},
  booktitle = {Theoretical Computer Science},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {67},
  year      = {1979},
  isbn      = {3-540-09118-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}