2000-conference.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2000-conference.cite -ob 2000-conference.bib -c 'year = 2000 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{BKR00,
  author = {Eduardo Bonelli and Delia Kesner and Alejandro R{\'\i}os},
  title = {A de Bruijn notation for higher-order rewriting},
  crossref = {rta00},
  year = 2000,
  pages = {62-79},
  type_publi = {icolcomlec},
  topics = {rewriting, team, lri, cclserver}
}

@inproceedings{DCKP00fossacs,
  author = {Roberto Di Cosmo and Delia Kesner and Emmanuel Polonovski},
  title = {Proof Nets and Explicit Substitutions},
  crossref = {fossacs2000},
  year = 2000,
  topics = {rewriting, team, lri, cclserver}
}

@inproceedings{blanqui00rta,
  author = {F. Blanqui},
  title = {Termination and confluence of higher-order rewrite systems},
  crossref = {rta00},
  year = 2000,
  type_publi = {icolcomlec},
  topics = {rewriting, team, cclserver}
}

@inproceedings{jouannaud00dsvv,
  author = {J.-P. Jouannaud},
  title = {Model checking versus theorem proving for verifying
                  protocols},
  booktitle = {In Proc. Distributed Systems Verification and Validation},
  adress = {Taipei, Taiwan},
  year = 2000,
  month = apr,
  type_publi = {irevcomlec},
  topics = {team, LRI}
}

@inproceedings{letouzey2000tphols,
  crossref = {tphols2000},
  title = {Formalizing {S}t{\aa}lmarck's algorithm in {C}oq},
  author = {Pierre Letouzey and Laurent Th{\'e}ry},
  pages = {387--404},
  topics = {team, lri},
  type_publi = {icolcomlec},
  url = {http://www.lri.fr/~letouzey/download/stalmarck.ps.gz}
}

@inproceedings{contejean00rta,
  author = {\'Evelyne Contejean and Antoine Coste and Benjamin Monate},
  title = {Rewriting Techniques in Theoretical Physics},
  crossref = {rta00},
  pages = {80--94},
  year = 2000,
  topics = {team,lri},
  type_publi = {icolcomlec},
  doi = {10.1007/10721975_6},
  abstract = {http://www.lri.fr/~contejea/publis/2000rta/abstract.html}
}

@inproceedings{ohlebusch00rta,
  author = {Enno Ohlebusch and Claus Claves and Claude March{\'e}},
  title = {{TALP}: A Tool for the Termination Analysis of Logic Programs},
  crossref = {rta00},
  year = 2000,
  pages = {270--273},
  topics = {team},
  type_publi = {icolcomlec},
  url = {http://bibiserv.techfak.uni-bielefeld.de/talp/},
  note = {Available at \url{http://bibiserv.techfak.uni-bielefeld.de/talp/}}
}

@inproceedings{pottier-conchon-icfp-00,
  author = {Fran\c{c}ois Pottier and Sylvain Conchon},
  title = {Information Flow Inference for Free},
  booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN}
                 International Conference on Functional Programming (ICFP'00)},
  url = {http://www.cse.ogi.edu/~conchon/publis/fpottier-conchon-icfp00.ps.gz},
  month = sep,
  year = {2000},
  pages = {46--57},
  address = {Montr\'eal, Canada},
  topics = {team}
}

@inproceedings{prost2000lics,
  author = {Fr{\'e}d{\'e}ric Prost},
  title = {A Static Calculus of Dependencies for the $\lambda$-cube},
  crossref = {lics00},
  year = 2000,
  topics = {team},
  type_pubbli = {icolcomlec}
}

@inproceedings{treinen2000fossacs,
  author = {Ralf Treinen},
  title = {Predicate Logic and Tree Automata with Tests},
  crossref = {fossacs2000},
  type_publi = {icolcomlec},
  year = 2000,
  pages = {329--343},
  ftp = {ftp://ftp.lri.fr/LRI/articles/treinen/fossacs2000.ps.gz},
  abstract = {http://www.lri.fr/~treinen/publications.html#fossacs2000},
  topics = {team, lri, constraints, cclserver}
}

@inproceedings{walukiewicz00lfm,
  author = {Daria Walukiewicz-Chrz\k{a}szcz},
  title = {Termination of rewriting in the {C}alculus of
    {C}onstructions},
  booktitle = {Proceedings of the Workshop on Logical Frameworks
    and Meta-languages, {S}anta {B}arbara, {C}alifornia},
  year = 2000,
  note = {Part of the LICS'2000},
  topics = {team, lri, cclserver},
  type_publi = {colcomlec}
}

@proceedings{lics00,
  title = {Fiveteenth Annual {IEEE} Symposium on Logic in Computer
                        Science},
  booktitle = {Fiveteenth Annual {IEEE} Symposium on Logic in Computer
                        Science},
  year = 2000,
  month = jun,
  editor = {Martin Abadi},
  address = {Santa Barbara, California},
  publisher = {{IEEE} Comp. Soc. Press}
}

@proceedings{rta00,
  title = {11th International Conference on Rewriting Techniques and Applications},
  booktitle = {11th International Conference on Rewriting Techniques and Applications},
  editor = {Leo Bachmair},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 1833,
  month = jul,
  year = 2000,
  address = {Norwich, UK},
  isbn = {3-540-67778-X}
}

@proceedings{fossacs2000,
  title = {Foundations of Software Science and Computation Structures},
  booktitle = {Foundations of Software Science and Computation Structures},
  year = 2000,
  month = mar,
  editor = {Jerzy Tiuryn},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 1784,
  address = {Berlin, Germany}
}

@proceedings{tphols2000,
  title = {Theorem Proving in Higher Order Logics:
                           13th International Conference, TPHOLs 2000},
  booktitle = {Theorem Proving in Higher Order Logics:
                           13th International Conference, TPHOLs 2000},
  editor = {J. Harrison and M. Aagaard},
  series = {Lecture Notes in Computer Science},
  volume = 1869,
  year = 2000,
  publisher = {Springer}
}