DBLP Record 'conf/jfplc/UrsoK02'

BibTeX

@inproceedings{DBLP:conf/jfplc/UrsoK02,
  author    = {Pascal Urso and
               Emmanuel Kounalis},
  title     = {G{\'e}n{\'e}ralisations correctes pour l'induction
               math{\'e}matique},
  booktitle = {JFPLC},
  year      = {2002},
  pages     = {211-},
  crossref  = {DBLP:conf/jfplc/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/2002,
  editor    = {Michel Rueher},
  title     = {Programmation en logique avec contraintes, JFPLC 2002, 27-30
               Mai 2002, Universit{\'e} de Nice Sophia-Antipolis, France},
  booktitle = {JFPLC},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}