2001-conference.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2001-conference.cite -ob 2001-conference.bib -c 'year = 2001 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{BKR01,
author = {Eduardo Bonelli and Delia Kesner and Alejandrio R{\'\i}os},
title = {From Higher-Order to First-Order Rewriting (Extended Abstract)},
crossref = {rta01},
type_publi = {icolcomlec},
topics = {rewriting, team, lri, cclserver}
}
@inproceedings{blanqui01lics,
author = {Fr{\'e}d{\'e}ric Blanqui},
title = {Definitions by Rewriting in the Calculus of Constructions},
crossref = {lics01},
year = 2001,
type_publi = {icolcomlec},
topics = {team}
}
@inproceedings{boudet01rta,
author = {Alexandre Boudet and Evelyne Contejean},
title = {{Combining Pattern $E$-unification Algorithms}},
crossref = {rta01},
pages = {63--76},
type_publi = {icolcomlec},
topics = {rewriting, team, lri, cclserver},
doi = {http://dx.doi.org/10.1007/3-540-45127-7_7},
abstract = {http://www.lri.fr/~contejea/publis/2001rta/abstract.html}
}
@inproceedings{ciobanu01mcu,
author = {Gabriel Ciobanu and Mihai Rotaru},
title = {{JC-Nets}},
crossref = {mcu01},
year = 2001,
series = {Lecture Notes in Computer Science},
month = may,
publisher = {Springer},
pages = {190--201},
type_publi = {icolcomlec},
topics = {team}
}
@inproceedings{courtieu01csl,
author = {Pierre Courtieu},
title = {{Normalized Types}},
booktitle = {Proceedings of the Annual Conference of the European
Association for Computer Science Logic},
crossref = {csl01},
pages = {554--569},
year = 2001,
topics = {team},
type_publi = {icolcomlec}
}
@inproceedings{conchon-pottier-01,
author = {Sylvain Conchon and Fran\c{c}ois Pottier},
title = {{JOIN(X)}: Constraint-Based Type Inference for the
Join-Calculus},
booktitle = {Proceedings of the 10th European Symposium on
Programming (ESOP'01)},
editor = {David Sands},
address = {Genova, Italy},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {221--236},
month = apr,
year = {2001},
url = {http://www.lri.fr/~conchon/publis/conchon-fpottier-esop01.ps.gz},
topics = {team}
}
@inproceedings{contejean01symcon,
author = {\'Evelyne Contejean and Ana Paula Tomas},
title = {{On Symmetries in Systems Coming from AC-Unification of
Higher-Order Patterns}},
booktitle = {{SymCon'01, Symmetry in Constraints}},
year = 2001,
editor = {Pierre Flener and Justin Pearson},
address = {Paphos, Cyprus},
month = {December},
topics = {team,lri},
type_publi = {colloque}
}
@inproceedings{filliatr01icscav,
author = {Jean-Christophe Filli{\^a}tre and Sam Owre and Harald Rue{\ss} and Natarajan Shankar},
title = {{ICS: Integrated Canonization and Solving (Tool presentation)}},
booktitle = {Proceedings of CAV'2001},
editor = {G. Berry and H. Comon and A. Finkel},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 2102,
pages = {246--249},
year = 2001,
topics = {team, lri},
type_publi = {icolcomlec}
}
@inproceedings{paulin01tacs,
author = {Christine Paulin-Mohring},
title = {Modelisation of Timed Automata in {Coq}},
booktitle = {Theoretical Aspects of Computer Software (TACS'2001)},
pages = {298-315},
year = 2001,
editor = {N. Kobayashi and B. Pierce},
volume = 2215,
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
topics = {team, lri},
type_publi = {icolcomlec}
}
@inproceedings{treinen98lacl,
author = {Alexander Koller and Joachim Niehren and Ralf Treinen},
title = {Dominance Constraints: Algorithms and Complexity},
topics = {team, cclserver},
type_publi = {icolcomlec},
crossref = {lacl98},
year = 2001,
pages = {106-125},
address = {Grenoble, France},
ftp = {ftp://ftp.lri.fr/LRI/articles/treinen/lacl-short.ps.gz}
}
@inproceedings{urbain01ijcar,
author = {Xavier Urbain},
title = {Automated Incremental Termination Proofs for Hierarchically
defined Term Rewriting Systems},
crossref = {ijcar01},
pages = {485--498},
year = 2001,
topics = {team, rewriting, lri},
type_publi = {icolcomlec},
url = {http://www.lri.fr/~urbain/textes/ijcar01.ps.gz}
}
@proceedings{csl01,
title = {Proceedings of the Annual Conference of the European
Association for Computer Science Logic},
booktitle = {Proceedings of the Annual Conference of the European
Association for Computer Science Logic},
month = sep,
year = 2001,
address = {Paris, France},
editor = {Laurent Fribourg},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 2142
}
@proceedings{lacl98,
title = {Logical Aspects of Computational Linguistics 1998},
booktitle = {Logical Aspects of Computational Linguistics 1998},
editor = {Michael Moortgat},
address = {Grenoble, France},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
volume = 2014,
year = 2001
}
@proceedings{lics01,
title = {Sixteenth Annual {IEEE} Symposium on Logic in Computer
Science},
booktitle = {Sixteenth Annual {IEEE} Symposium on Logic in Computer
Science},
year = 2001,
publisher = {{IEEE} Comp. Soc. Press}
}
@proceedings{rta01,
title = {12th International Conference on Rewriting Techniques and Applications},
booktitle = {12th International Conference on Rewriting Techniques and Applications},
editor = {Aart Middeldorp},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 2051,
month = may,
year = 2001,
address = {Utrecht, The Netherlands},
isbn = {3-540-42117-3}
}
@proceedings{ijcar01,
title = {International Joint Conference on Automated Reasoning},
booktitle = {First International Joint Conference on Automated Reasoning},
year = 2001,
editor = {Rajeev Gor{\'e} and Alexander Leitsch and Tobias Nipkow},
volume = 2083,
series = {Lecture Notes in Artificial Intelligence},
address = {Siena, Italy},
month = jun,
publisher = {Springer}
}
@proceedings{mcu01,
title = {Machines, Computations and Universality (MCU2001)},
year = 2001,
series = {Lecture Notes in Computer Science},
volume = 2055,
address = {Chisinau, Moldova},
month = may,
publisher = {Springer}
}