1996-conference.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1996-conference.cite -ob 1996-conference.bib -c 'year = 1996 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{abdiche96gdr,
  author = {Mina Abdiche},
  title = {A type inference algorithm for the polyadic
                  Pi-calculus with a sub-sort relation},
  booktitle = {Journ{\'e}es du p{\^o}le programmation fonctionnelle},
  year = {1996},
  organization = {PRC/GDR Programmation du CNRS},
  address = {Orl{\'e}ans},
  month = nov,
  topics = {team, lri},
  type_publi = {colloque},
  clef_labo = {Abd96N}
}
@inproceedings{Kesner96,
  author = {Delia Kesner},
  title = {Confluence Properties of Extensional and Non-Extensional
               $\lambda$-calculi with Explicit Substitutions},
  crossref = {rta96},
  pages = {184--199},
  year = 1996,
  topics = {team, cclserver, lri},
  type_publi = {icolcomlec},
  clef_labo = {Kes96E}
}
@inproceedings{boudet96caap,
  author = {Alexandre Boudet and Hubert Comon},
  topics = {team, solserver, lri},
  title = {Diophantine equations, {P}resburger arithmetic and
		  finite automata},
  editor = {H. Kirchner},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proc. Coll. on Trees in Algebra and Programming (CAAP'96)},
  pages = {30--43},
  year = 1996,
  type_publi = {icolcomlec},
  clef_labo = {BC96E}
}
@inproceedings{boudet96rta,
  author = {Alexandre Boudet and \'Evelyne Contejean and Claude
		  March{\'e}},
  title = {{AC}-complete unification and its application to
		  theorem proving},
  topics = {team, cclserver, lri},
  year = 1996,
  crossref = {rta96},
  pages = {18--32},
  x-pdf = {http://www.lri.fr/~marche/articles/rta96.ps.gz},
  abstract = {http://www.lri.fr/~marche/rta96.html},
  doi = {http://dx.doi.org/10.1007/3-540-61464-8_40},
  type_publi = {icolcomlec},
  clef_labo = {BCM96E}
}
@inproceedings{contejean96rta,
  author = {\'Evelyne Contejean and Claude March{\'e}},
  title = {{CiME: Completion Modulo $E$}},
  crossref = {rta96},
  pages = {416--419},
  year = 1996,
  note = {System Description available at \url{http://cime.lri.fr/}},
  x-pdf = {http://www.lri.fr/~marche/articles/cime-rta96.ps.gz},
  abstract = {http://www.lri.fr/~marche/cime-rta96.html},
  url = {http://cime.lri.fr/},
  doi = {http://dx.doi.org/10.1007/3-540-61464-8_70},
  type_publi = {icolcomlec},
  topics = {team, lri, cclserver},
  clef_labo = {CM96E}
}
@inproceedings{ferreira96,
  author = {Maria C.F. Ferreira and Delia Kesner and Laurence Puel},
  title = {$\lambda$-Calculi with Explicit Substitutions and
                Composition which Preserve $\beta$-Strong Normalization
                (Extended Abstract)},
  crossref = {alp96},
  pages = {284--298},
  year = 1996,
  topics = {team, lri, cclserver},
  type_publi = {icolcomlec},
  clef_labo = {FKP96E}
}
@inproceedings{jouannaud96rta,
  author = {Jean-Pierre Jouannaud and Albert Rubio},
  title = {A Recursive Path Ordering for Higher-Order Terms in
			$\eta$-Long $\beta$-Normal Form},
  crossref = {rta96},
  pages = {108--122},
  year = 1996,
  topics = {rewriting, team, lri, cclserver},
  ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/horpo-rta.ps.gz},
  abstract = {http://www.lri.fr/~jouannau/abstracts/horpo-rta.html},
  type_publi = {icolcomlec},
  clef_labo = {JR96E}
}
@inproceedings{jacquemard96rta,
  author = {Florent Jacquemard},
  title = {Decidable approximations of Terms Rewriting Systems},
  year = 1996,
  crossref = {rta96},
  pages = {362--376},
  topics = {team, lri},
  location = {FJ},
  type_publi = {icolcomlec},
  clef_labo = {Jac96E}
}
@inproceedings{treinen96rta,
  author = {Ralf Treinen},
  title = {The First-Order Theory of One-Step Rewriting is
			Undecidable},
  topics = {team, lri, cclserver, constraints, rewriting},
  year = 1996,
  crossref = {rta96},
  pages = {276--286},
  type_publi = {icolcomlec},
  clef_labo = {Tre96E}
}
@inproceedings{treinen96unif,
  author = {Ralf Treinen},
  title = {The First-Order Theory of One-Step Rewriting by a Linear
			Term Rewriting System is Undecidable
			(Extended Abstract)},
  topics = {team, cclserver},
  booktitle = {Extended Abstracts of the Tenth International Workshop on
			Unification},
  editor = {Klaus Schulz and Stephan Kepser},
  address = {Herrsching, Germany},
  note = {Published as {CIS}-{B}ericht-96-91, Universit{\"a}t M{\"u}nchen},
  month = jun,
  year = 1996,
  type_publi = {colloque}
}
@inproceedings{courant96gdr,
  author = {Judica{\"e}l Courant},
  title = {Un calcul de modules pour Coq},
  year = 1996,
  booktitle = {{Actes de la journ{\'e}e du P{\^o}le Preuves et
                  Sp{\'e}cifications Alg{\'e}briques du GDR de
                  programmation}},
  address = {{Orl{\'e}ans, France}},
  type_publi = {colloque},
  topics = {team}
}
@inproceedings{paulin96types,
  author = {Christine Paulin-Mohring},
  title = {Circuits as streams in {Coq} : Verification of a
  sequential multiplier},
  booktitle = {Types for Proofs and Programs, TYPES'95},
  editor = {S. Berardi and M. Coppo},
  series = {Lecture Notes in Computer Science},
  year = 1996,
  volume = 1158,
  topics = {team},
  publisher = {Springer}
}
@proceedings{alp96,
  title = {5th International Conference on Algebraic and
                        Logic Programming},
  booktitle = {5th International Conference on Algebraic and
                        Logic Programming},
  editor = {Michael Hanus and Mario Rodr{\'\i}guez-Artalejo},
  month = sep,
  year = 1996,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {1139},
  address = {Aachen, Germany}
}
@proceedings{rta96,
  title = {7th International Conference on Rewriting Techniques and
			Applications},
  booktitle = {7th International Conference on Rewriting Techniques and
			Applications},
  editor = {Harald Ganzinger},
  publisher = {Springer},
  year = 1996,
  month = jul,
  address = {New Brunswick, NJ, USA},
  series = {Lecture Notes in Computer Science},
  volume = 1103,
  isbn = {3-540-61464-8}
}