BibTeX record conf/caap/BegayK80

download as .bib file

@inproceedings{DBLP:conf/caap/BegayK80,
  author    = {Didier B{\'{e}}gay and
               Laurent Kott},
  title     = {Preuves de programmes sans induction},
  booktitle = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation,
               Lilli, France, 21, 22 et 23 f{\'{e}}vier 1980},
  pages     = {182--198},
  publisher = {Universit{\'{e}} de Lille 1},
  year      = {1980},
  timestamp = {Wed, 03 Sep 2008 14:36:42 +0200},
  biburl    = {https://dblp.org/rec/conf/caap/BegayK80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics