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}
}