1999-conference.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc 1999-conference.cite -ob 1999-conference.bib -c 'year = 1999 and topics : "team" and $type="inproceedings"' /users/demons/filliatr/bibliodemons/abbrevs.bib /users/demons/filliatr/bibliodemons/demons.bib /users/demons/filliatr/bibliodemons/demons2.bib /users/demons/filliatr/bibliodemons/demons3.bib /users/demons/filliatr/bibliodemons/team.bib /users/demons/filliatr/bibliodemons/crossrefs.bib}}
@inproceedings{blanqui99rta,
  author = {F. Blanqui and J.-P. Jouannaud and M. Okada},
  title = {{The Calculus of Algebraic Constructions}},
  crossref = {rta99},
  year = 1999,
  topics = {rewriting, team, cclserver},
  clef_labo = {BJO99E},
  type_publi = {icolcomlec}
}
@inproceedings{bonelli99csl,
  author = {E. Bonelli},
  title = {Using fields and explicit substitutions to
            implement objects and functions in
            a de Bruijn setting},
  booktitle = {Proc. of the  Annual Conference of the European
              Association for Computer Science Logic (CSL)},
  series = {LNCS},
  adress = {Madrid, Spain},
  year = {1999},
  topics = {rewriting, team},
  clef_labo = {Bon99E},
  type_publi = {icolcomlec}
}
@inproceedings{bonelli99westapp,
  author = {E. Bonelli},
  title = {The polymorphic lambda calculus with explicit substitutions},
  booktitle = {Proc. of the Second International Workshop on Explicit Substitutions:
          Theory and Applications to Programs and Proofs},
  adress = {Trento, Italy},
  year = 1999,
  topics = {rewriting, team},
  type_publi = {colloque}
}
@inproceedings{jouannaud99lics,
  author = {Jean-Pierre Jouannaud and Albert Rubio},
  title = {The Higher-Order Recursive Path Ordering},
  crossref = {lics99},
  year = 1999,
  topics = {rewriting, team, lri, cclserver},
  ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/horpo.ps.gz},
  abstract = {http://www.lri.fr/~jouannau/abstracts/horpo-lics.html},
  type_publi = {icolcomlec},
  topics = {team, cclserver, LRI},
  clef_labo = {JR99E}
}
@inproceedings{jouannaud99lmps,
  author = {J.-P. Jouannaud},
  title = {Towards Engineering Proofs},
  booktitle = {In Logic, Methodology, and Phylosophy of Science},
  adress = {Krakow, Poland},
  year = 1999,
  month = aug,
  type_publi = {irevcomlec},
  topics = {team, LRI}
}
@inproceedings{kesner99lics,
  author = {Serenella Cerrito and Delia Kesner},
  title = {Pattern Matching as Cut Elimination},
  crossref = {lics99},
  year = 1999,
  topics = {rewriting, team, lri, cclserver},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/pm-as-ce.ps.gz},
  type_publi = {icolcomlec},
  clef_labo = {CK99E}
}
@inproceedings{conchon-le-fessant-99,
  title = {Jocaml: Mobile Agents for {Objective-Caml}},
  author = {Sylvain Conchon and Fabrice Le Fessant},
  booktitle = {First International Symposium on Agent Systems and
                 Applications and Third International Symposium on
                 Mobile Agents (ASA/MA'99)},
  address = {Palm Springs, California},
  year = {1999},
  month = oct,
  pages = {22--29},
  url = {http://www.lri.fr/~conchon/publis/conchon-lefessant-asama99.ps.gz},
  topics = {team}
}
@inproceedings{FilliatreMagaud99,
  author = {Jean-Christophe Filli\^atre and Nicolas Magaud},
  title = {{Certification of Sorting Algorithms in the System Coq}},
  booktitle = {Theorem Proving in Higher Order Logics:
                  Emerging Trends},
  year = 1999,
  address = {Nice, France},
  topics = {team},
  url = {http://www.lri.fr/~filliatr/ftp/publis/Filliatre-Magaud.ps.gz},
  type_publi = {icolcomlec}
}
@proceedings{lics99,
  title = {Fourteenth Annual {IEEE} Symposium on Logic in Computer
                        Science},
  booktitle = {Fourteenth Annual {IEEE} Symposium on Logic in Computer
                        Science},
  year = 1999,
  month = jul,
  editor = {Giuseppe Longo},
  address = {Trento, Italy},
  publisher = {{IEEE} Comp. Soc. Press}
}
@proceedings{rta99,
  title = {10th International Conference on Rewriting Techniques and
			Applications},
  booktitle = {10th International Conference on Rewriting Techniques and
			Applications},
  editor = {Paliath Narendran and Michael Rusinowitch},
  publisher = {Springer},
  year = 1999,
  month = jul,
  address = {Trento, Italy},
  series = {Lecture Notes in Computer Science},
  volume = {1631}
}