1998-conference.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 1998-conference.cite -ob 1998-conference.bib -c 'year = 1998 and topics : "team" and $type="inproceedings"' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/crossrefs.bib}}
@inproceedings{abdiche98flp,
  author = {Mina Abdiche},
  title = {On the encoding of $\lambda_{\leq}$ in $\pi_{\leq}$},
  booktitle = {7th International workshop on functional and logic 
                  programming (FLP'98)},
  year = 1998,
  address = {Bad-honnef, Germany},
  note = {Proceedings will appear as a technical report of 
                  the University of M{\"u}nster},
  month = {April},
  topics = {team, lri},
  type_publi = {colloque},
  clef_labo = {Abd98N}
}
@inproceedings{beldiceanu98informs,
  author = {Nicolas Beldiceanu and \'Eric Bourreau and \'Evelyne Contejean},
  title = {Solving a Hard Vehicle Routing \& Loading Problem},
  booktitle = {Proceedings of the Spring Meeting of the Institute for 
                  Operations Research and the Management Sciences},
  year = 1998,
  address = {Montreal},
  month = apr,
  type_publi = {colloque},
  topics = {team, lri},
  clef_labo = {BBC98N},
  abstract = {http://www.lri.fr/~contejea/publis/informs98/abstract.html}
}
@inproceedings{boudet98cade,
  author = {Alexandre Boudet and \'Evelyne Contejean},
  title = {{About the Confluence of Equational Pattern Rewrite
    Systems}},
  crossref = {cade98},
  type_publi = {icolcomlec},
  topics = {team, cclserver, lri},
  pages = {88--102},
  doi = {http://dx.doi.org/10.1007/BFb0054250},
  abstract = {http://www.lri.fr/~contejea/publis/1998cade/abstract.html},
  clef_labo = {BC98E}
}
@inproceedings{marche98rta,
  author = {Claude March{\'e} and Xavier Urbain},
  title = {Termination of Associative-Commutative Rewriting by Dependency Pairs},
  crossref = {rta98},
  year = 1998,
  pages = {241--255},
  x-pdf = {http://www.lri.fr/~marche/articles/rta98.ps.gz},
  abstract = {http://www.lri.fr/~marche/rta98.html},
  type_publi = {icolcomlec},
  topics = {team, lri, cclserver},
  clef_labo = {MU98E}
}
@inproceedings{treinen98lics,
  author = {Martin M{\"u}ller and Joachim Niehren and Ralf Treinen},
  title = {The First-Order Theory of Ordering Constraints over
			Feature Trees},
  crossref = {lics98},
  year = 1998,
  pages = {432--443},
  topics = {team, lri, cclserver, constraints, features},
  type_publi = {icolcomlec},
  clef_labo = {MNT98E}
}
@inproceedings{dershowitz98rta,
  topics = {team, lri, cclserver},
  author = {Nachum Dershowitz and Ralf Treinen},
  title = {An On-line Problem Database},
  crossref = {rta98},
  pages = {332--342},
  year = 1998,
  ftp = {ftp://www.lri.fr/LRI/articles/rtaloop/update-rta98.ps.gz},
  type_publi = {icolcomlec},
  clef_labo = {DT98E}
}
@inproceedings{walukiewicz98icalp,
  author = {Daria Walukiewicz},
  title = {A Total {AC}-Compatible Reduction Ordering 
                  on Higher-Order Terms},
  booktitle = {{Proceedings of the 25th International Colloquium on 
                   Automata, Languages, and Programming (ICALP'98)}},
  editor = {Kim G. Larsen},
  series = {Lecture Notes in Computer Science},
  volume = 1443,
  year = 1998,
  organization = {EATCS},
  publisher = {Springer},
  month = jul,
  topics = {team, lri},
  clef_labo = {Wal98E},
  type_publi = {icolcomlec}
}
@inproceedings{FKP98,
  author = {Maria C.F. Ferreira and Delia Kesner and Laurence Puel},
  topics = {team, cclserver, lri},
  title = {{Reducing AC-Termination to Termination}},
  crossref = {mfcs98},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/mfcs98.ps.gz},
  pages = {239--247},
  year = 1998,
  type_publi = {icolcomlec},
  clef_labo = {FKP98E}
}
@inproceedings{KML98,
  author = {Delia Kesner and Pablo E. Mart{\'{\i}}nez L\'opez},
  title = {Explicit Substitutions for Objects and Functions},
  crossref = {alpplilp98},
  pages = {195--212},
  year = 1998,
  topics = {team, lri, cclserver},
  type_publi = {icolcomlec},
  clef_labo = {KML98E}
}
@inproceedings{chrzaszcz98mfcs,
  author = {Jacek Chrz\k{a}szcz},
  title = {Polymorphic Subtyping Without Distributivity},
  booktitle = {Mathematical Foundations of Computer Science},
  pages = {346--355},
  year = 1998,
  editor = {Lubos Brim, Josef Gruska, Jiri Zlatuska},
  number = 1450,
  series = {Lecture Notes in Computer Science},
  address = {Brno, Czech Republic},
  month = aug,
  publisher = {Springer Verlag},
  topics = {team, lri, cclserver},
  type_publi = {icolcomlec}
}
@inproceedings{jouannaud98rwl,
  author = {J.-P. Jouannaud},
  title = {Membership Equational Logic, Calculus of Inductive
                  Constructions, and Rewrite Logic},
  booktitle = {In Proc. 2nd Workshop on Rewrite Logic and Applications},
  adress = {Pont {\`a} Mousson, France},
  year = 1998,
  month = sep,
  type_publi = {irevcomlec},
  topics = {team, LRI}
}
@inproceedings{Filliatre98,
  author = {Jean-Christophe Filli\^atre},
  title = {{Proof of Imperative Programs in Type Theory}},
  booktitle = {Proceedings of the TYPES'98 workshop},
  year = 1998,
  publisher = {Springer},
  volume = 1657,
  series = {Lecture Notes in Computer Science},
  topics = {team},
  url = {http://www.lri.fr/~filliatr/ftp/publis/types98.ps.gz},
  clef_labo = {Fil98E},
  type_publi = {icolcomlec}
}
@proceedings{alpplilp98,
  title = {Joint International Symposiums
                   Programming Languages, Implementations, Logics and
                   Program (PLILP) and Algebraic and
                   Logic Programming (ALP)},
  booktitle = {Principles of Declarative Programming},
  editor = {MCatuscia Palamidessi and Hugh Glaser and Karl Meinke},
  month = sep,
  year = 1998,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {1490},
  address = {Pisa, Italy}
}
@proceedings{cade98,
  title = {15th International Conference on Automated Deduction},
  booktitle = {15th International Conference on Automated Deduction},
  address = {Lindau, Germany},
  editor = {C. and H. Kirchner},
  year = 1998,
  month = jul,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  isbn = {3-540-64675-2},
  volume = 1421
}
@proceedings{lics98,
  title = {Thirteenth Annual {IEEE} Symposium on Logic in Computer
                        Science},
  booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer
                        Science},
  year = 1998,
  month = jun,
  editor = {Vaughan Pratt},
  address = {Indianapolis, IN, USA},
  publisher = {{IEEE} Comp. Soc. Press}
}
@proceedings{mfcs98,
  title = {Mathematical Foundations of Computer Science},
  booktitle = {Mathematical Foundations of Computer Science},
  editor = {Lubos Brim and Jozef Gruska and Jiri Zlatuska},
  year = 1998,
  month = aug,
  address = {Brno, Czech Republic},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  isbn = {3-540-64827-5},
  volume = 1450
}
@proceedings{rta98,
  title = {9th International Conference on Rewriting Techniques and
			Applications},
  booktitle = {9th International Conference on Rewriting Techniques and
			Applications},
  editor = {Tobias Nipkow},
  publisher = {Springer},
  year = 1998,
  month = apr,
  address = {Tsukuba, Japan},
  series = {Lecture Notes in Computer Science},
  volume = {1379}
}