2003-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2003-conference.cite -ob 2003-conference.bib -c 'year = 2003 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{FK03,
  author = {Julien Forest and Delia Kesner},
  title = {Expression Reduction Systems with Patterns},
  crossref = {rta03},
  key = {FK03},
  year = 2003,
  topics = {rewriting, team},
  pages = {107-122},
  type_publi = {icolcomlec},
  url = {http://www.pps.jussieu.fr/~kesner/papers/long-version-submitted-rta-03.ps}
}

@inproceedings{cremet2003,
  author = {Vincent Cremet and Koji Hasebe and Jean-Pierre Jouannaud and Antoine Kremer and Mitsuhiro Okada},
  title = {FATALIS : Real time processes as linear logic specifications},
  year = {2003},
  booktitle = {International Workshop  on Automated Verification of
             Infinite-State Systems, Varsaw},
  topics = {team, logical},
  type_publi = {colloque}
}

@inproceedings{letouzey2002types,
  author = {Pierre Letouzey},
  title = {A New Extraction for {Coq}},
  url = {http://www.lri.fr/~letouzey/download/NewExtraction.ps.gz},
  topics = {team},
  crossref = {types02},
  year = 2003,
  type_publi = {icolcomlec}
}

@inproceedings{conchon-krstic-02,
  author = {Sylvain Conchon and Sava Krsti{\'c}},
  title = {Strategies for Combining Decision Procedures},
  booktitle = {Proceedings of the 9th Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03)},
  address = {Warsaw, Poland},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2619},
  pages = {537--553},
  month = apr,
  year = {2003},
  url = {http://www.cse.ogi.edu/~conchon/publis/conchon-krstic.ps.gz},
  topics = {team},
  x-international-audience = {yes},
  x-proceedings = {yes},
  type_publi = {icolcomlec}
}

@inproceedings{krstic-conchon-02,
  author = {Sava Krsti{\'c} and Sylvain Conchon},
  title = {Canonization for Disjoint Unions of Theories},
  booktitle = {Proceedings of the 19th International Conference on Automated Deduction
                 (CADE-19)},
  editor = {Franz Baader},
  address = {Miami Beach, FL, USA},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2741},
  month = jul,
  year = {2003},
  url = {http://www.lri.fr/~conchon/publis/krstic-conchon.ps.gz},
  topics = {team},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {CADE}
}

@inproceedings{contejean03wst,
  author = {\'Evelyne Contejean and Claude March{\'e} and Benjamin Monate and Xavier Urbain},
  title = {Proving Termination of Rewriting with {\sc C\textit{i}ME}},
  crossref = {wst03},
  pages = {71--73},
  year = 2003,
  topics = {team},
  type_publi = {icolcomlec},
  url = {http://cime.lri.fr}
}

@inproceedings{Oury03,
  author = {Nicolas Oury},
  title = {Observational Equivalence and Program Extraction in the {Coq Proof Assistant}},
  crossref = {tlca2003},
  topics = {team},
  year = 2003,
  type_publi = {icolcomlec},
  pages = {271-285}
}

@inproceedings{miquel03csl,
  author = {Alexandre Miquel},
  title = {A Strongly Normalising {Curry-Howard} correspondence for {IZF} Set Theory},
  booktitle = {Computer Science Logic, CSL'03},
  series = {Lecture Notes in Computer Science},
  year = 2003,
  publisher = {Springer},
  topics = {team},
  type_publi = {icolcomlec}
}

@inproceedings{miquel03types,
  author = {Alexandre Miquel and Benjamin Werner},
  title = {The Not So Simple Proof-Irrelevant Model of {CC}},
  crossref = {types02},
  pages = {240-258},
  year = 2003,
  topics = {team},
  type_publi = {icolcomlec}
}

@inproceedings{ohlebusch03wst,
  author = {Enno Ohlebusch and Claus Claves and Claude March{\'e}},
  title = {The TALP Tool for Termination Analysis of Logic Programs},
  crossref = {wst03},
  year = 2003,
  topics = {team},
  type_publi = {icolcomlec},
  url = {http://bibiserv.techfak.uni-bielefeld.de/talp/},
  note = {\url{http://bibiserv.techfak.uni-bielefeld.de/talp/}}
}

@inproceedings{signoles03jfla,
  author = {Julien Signoles},
  title = {Calcul statique des applications de modules param\'etr\'es},
  booktitle = {Journ\'ees Francophones des Langages Applicatifs},
  topics = {team},
  year = 2003,
  month = jan
}

@proceedings{rta03,
  title = {14th International Conference on Rewriting Techniques and Applications},
  booktitle = {14th International Conference on Rewriting Techniques and Applications},
  editor = {Roberto Nieuwenhuis},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 2706,
  month = jun,
  year = 2003,
  address = {Valencia, Spain}
}

@proceedings{tlca2003,
  editor = {Martin Hofmann},
  title = {Typed Lambda Calculi and Applications, 6th International Conference,
               TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  booktitle = {TLCA},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2701},
  year = {2003},
  isbn = {3-540-40332-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{types02,
  title = {Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers},
  booktitle = {TYPES 2002},
  year = 2003,
  editor = {Herman Geuvers and Freek  Wiedijk},
  volume = 2646,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}

@proceedings{wst03,
  booktitle = {{Extended Abstracts of the 6th International Workshop on Termination, WST'03}},
  title = {{Extended Abstracts of the 6th International Workshop on Termination, WST'03}},
  year = {2003},
  editor = {Albert Rubio},
  month = jun,
  note = {Technical Report DSIC II/15/03, Universidad Polit\'ecnica de Valencia, Spain}
}