1999-conference.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1999-conference.cite -ob 1999-conference.bib -c 'year = 1999 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/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 = {https://usr.lmf.cnrs.fr/~jcf/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}
}