1997-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1997-conference.cite -ob 1997-conference.bib -c 'year = 1997 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{DCK97,
  author = {Di Cosmo, Roberto and Kesner, Delia},
  topics = {team, cclserver, lri},
  title = {Strong Normalization of Explicit Substitutions via Cut
                Elimination in Proof Nets},
  crossref = {lics97},
  pages = {35--46},
  type_publi = {icolcomlec},
  year = {1997},
  clef_labo = {DCK97E}
}

@inproceedings{boudet97cp,
  author = {Alexandre Boudet and \'Evelyne Contejean},
  title = {{AC}-Unification of Higher-order Patterns},
  crossref = {cp97},
  year = 1997,
  abstract = {http://www.lri.fr/~contejea/publis/1997cp/abstract.html},
  doi = {http://dx.doi.org/10.1007/BFb0017445},
  type_publi = {icolcomlec},
  topics = {team, cclserver, lri},
  pages = {267--281},
  clef_labo = {BC97E}
}

@inproceedings{bouhoula97lics,
  author = {Adel Bouhoula and Jean-Pierre Jouannaud},
  title = {Automata-Driven Automated Induction},
  crossref = {lics97},
  year = 1997,
  pages = {14--25},
  type_publi = {icolcomlec},
  topics = {team, cclserver, lri},
  clef_labo = {BJ97E}
}

@inproceedings{comon97lics,
  author = {Hubert Comon and Florent Jacquemard},
  title = {Ground Reducibility is {EXPTIME}-complete},
  crossref = {lics97},
  year = 1997,
  pages = {26--34},
  clef_labo = {CJ97E},
  type_publi = {icolcomlec},
  topics = {team, lri}
}

@inproceedings{bouhoula97caap,
  author = {A. Bouhoula and J.-P. Jouannaud and J. Meseguer},
  title = {Specification and proof in membership equational logic},
  crossref = {tapsoft97},
  year = 1997,
  pages = {67--92},
  topics = {team, cclserver, lri},
  type_publi = {icolcomlec},
  clef_labo = {BJM97E}
}

@inproceedings{contejean97rta,
  author = {\'Evelyne Contejean and Claude March{\'e} and Landy Rabehasaina},
  title = {Rewrite systems for natural, integral, and rational
                  arithmetic},
  pages = {98-112},
  crossref = {rta97},
  year = 1997,
  x-pdf = {http://www.lri.fr/~marche/articles/rta97.ps.gz},
  doi = {http://dx.doi.org/10.1007/3-540-62950-5_64},
  abstract = {http://www.lri.fr/~marche/rta97.html},
  type_publi = {icolcomlec},
  topics = {team, lri, cclserver},
  clef_labo = {CMR97E}
}

@inproceedings{treinen97tapsoft,
  author = {Franck Seynhaeve and Marc Tommasi and Ralf Treinen},
  title = {Grid Structures and Undecidable Constraint Theories},
  topics = {team, lri, cclserver},
  crossref = {tapsoft97},
  pages = {357--368},
  year = 1997,
  ftp = {ftp://ftp.lri.fr/LRI/articles/treinen/caap97.ps.gz},
  abstract = {ftp://ftp.lri.fr/LRI/articles/treinen/caap97.abstract},
  type_publi = {icolcomlec},
  note = {Extended version to appear in
                       \textit{Theoretical Computer Science}},
  clef_labo = {STT97E}
}

@inproceedings{monate97gdr,
  author = {Benjamin Monate},
  title = {Automates de formes normales et r{\'e}ductibilit{\'e} inductive},
  booktitle = {Journ{\'e}es du p{\^o}le Contraintes et programmation logique},
  year = 1997,
  organization = {PRC/GDR Programmation du CNRS},
  address = {Rennes},
  month = {nov},
  pages = {21-31},
  ftp = {http://www.lix.polytechnique.fr/~monate/publi/gdr97.ps.gz},
  topics = {team, lri},
  type_publi = {colloque},
  clef_labo = {Mon97N}
}

@inproceedings{courant97tapsoft,
  author = {Judica{\"e}l Courant},
  title = {An applicative module calculus},
  booktitle = {Theory and Practice of Software Development 97},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  year = 1997,
  pages = {622-636},
  month = {April},
  address = {Lille, France},
  ps = {http://www.lri.fr/~jcourant/papers/tapsoft97/article.ps.gz},
  dvi = {http://www.lri.fr/~jcourant/papers/tapsoft97/article.dvi.gz},
  type_publi = {icolcomlec},
  topics = {team}
}

@inproceedings{courant97tlca,
  author = {Judica{\"e}l Courant},
  title = {{A Module Calculus for Pure Type Systems}},
  booktitle = {Typed Lambda Calculi and Applications 97},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  pages = {112 -- 128},
  year = 1997,
  ps = {http://www.lri.fr/~jcourant/papers/tlca97/tlca.ps.gz},
  dvi = {http://www.lri.fr/~jcourant/papers/tlca97/tlca.dvi.gz},
  type_publi = {icolcomlec},
  topics = {team}
}

@proceedings{cp97,
  title = {Principles and Practice of Constraint Programming},
  booktitle = {Principles and Practice of Constraint Programming},
  year = 1997,
  editor = {Gert Smolka},
  publisher = {Springer},
  address = {Linz, Austria},
  month = oct,
  series = {Lecture Notes in Computer Science},
  volume = 1330,
  isbn = {3-540-63753-2}
}

@proceedings{lics97,
  title = {Twelfth Annual {IEEE} Symposium on Logic in Computer
                        Science},
  booktitle = {Twelfth Annual {IEEE} Symposium on Logic in Computer
                        Science},
  year = 1997,
  month = jun,
  address = {Warsaw,Poland},
  publisher = {{IEEE} Comp. Soc. Press}
}

@proceedings{rta97,
  title = {8th International Conference on Rewriting Techniques and
			Applications},
  booktitle = {8th International Conference on Rewriting Techniques and
			Applications},
  editor = {Hubert Comon},
  publisher = {Springer},
  year = 1997,
  month = jun,
  address = {Barcelona, Spain},
  series = {Lecture Notes in Computer Science},
  volume = {1232},
  isbn = {3-540-62950-5}
}

@proceedings{tapsoft97,
  title = {Theory and Practice of Software Development},
  booktitle = {Theory and Practice of Software Development},
  editor = {Michel Bidoit and Max Dauchet},
  year = 1997,
  month = apr,
  address = {Lille, France},
  series = {Lecture Notes in Computer Science},
  volume = {1214},
  publisher = {Springer}
}