1995-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1995-conference.cite -ob 1995-conference.bib -c 'year = 1995 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{DiCosmo95,
  author = {Di Cosmo, Roberto and Kesner, Delia},
  title = {Rewriting with Extensional Polymorphic $\lambda$-Calculus},
  booktitle = {Proc. Conf. Computer Science Logic},
  year = 1995,
  month = sep,
  series = {Lecture Notes in Computer Science},
  volume = 1092,
  editor = {Hans Kleine B{\"u}ning},
  publisher = {Springer},
  pages = {215--232},
  note = {Extended Abstract},
  type_publi = {icolcomlec},
  topics = {team, lri},
  clef_labo = {DCK95E}
}

@inproceedings{ajili95cp,
  author = {Ajili, Farid and Contejean, \'Evelyne},
  title = {Complete Solving of Linear Diophantine Equations and
		  Inequations without adding Variables},
  crossref = {cp95},
  topics = {team, cclserver, solserver, lri},
  pages = {1--17},
  abstract = {http://www.lri.fr/~contejea/publis/cp95/abstract.html},
  type_publi = {icolcomlec},
  clef_labo = {AC95E},
  doi = {http://dx.doi.org/10.1007/3-540-60299-2_1}
}

@inproceedings{comon95lics,
  author = {Hubert Comon and Robert Nieuwenhuis and Albert Rubio},
  topics = {team, lri, constraints, cclserver},
  title = {Orderings, {AC}-Theories and Symbolic Constraint Solving},
  crossref = {lics95},
  year = 1995,
  pages = {375--385},
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/lics95.ps.Z},
  abstract = {http://www.lri.fr/~comon/comon95licsb.html},
  type_publi = {icolcomlec},
  clef_labo = {CNR95E}
}

@inproceedings{comon95licsa,
  author = {Hubert Comon},
  title = {Sequentiality, second-order monadic logic and
                  tree automata},
  crossref = {lics95},
  topics = {team, lri, rewriting,cclserver},
  year = 1995,
  pages = {508--517},
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/sequentiality.ps.Z},
  abstract = {http://www.lri.fr/~comon/comon95licsa.html},
  type_publi = {icolcomlec},
  clef_labo = {Com95E}
}

@inproceedings{jouannaud95litp,
  author = {Jean-Pierre Jouannaud},
  topics = {team, lri, cclserver},
  title = {Introduction to Rewriting},
  year = 1995,
  crossref = {comon95lncs},
  type_publi = {chapitre},
  clef_labo = {Jou95C}
}

@inproceedings{marche95litp,
  author = {Claude March{\'e}},
  topics = {team, lri, cclserver},
  title = {Normalized Rewriting -- Application to ground
                  completion and standard bases},
  pages = {154--169},
  year = 1995,
  crossref = {comon95lncs},
  x-pdf = {http://www.lri.fr/~marche/articles/litp93.ps.gz},
  abstract = {http://www.lri.fr/~marche/litp93.html},
  type_publi = {chapitre},
  clef_labo = {Mar95C}
}

@inproceedings{lechenadec95litp,
  author = {Philippe Le Chenadec},
  title = {A survey of symmetrized and complete group presentations},
  crossref = {comon95lncs},
  year = 1995,
  pages = {135--153}
}

@inproceedings{marche95srt,
  author = {Claude March{\'e}},
  topics = {team, cclserver},
  title = {{Normalized Rewriting: an unified view of
		  Knuth-Bendix completion and Gr{\"o}bner bases computation}},
  year = 1995,
  crossref = {srt95},
  x-pdf = {http://www.lri.fr/~marche/articles/srt95.ps.gz},
  abstract = {http://www.lri.fr/~marche/srt95.html},
  type_publi = {colloque}
}

@inproceedings{treinen95a,
  title = {Constraint Deduction in an Interval-based Temporal Logic},
  author = {Jana Koehler and Ralf Treinen},
  booktitle = {Executable Modal and Temporal Logics},
  editor = {Michael Fisher and Richard Owens},
  pages = {103--117},
  publisher = {Springer},
  year = 1995,
  series = {Lecture Notes in Artificial Intelligence},
  volume = 897,
  topics = {team, deduction},
  note = {Workshop at IJCAI '93, August 93, Chambery, France}
}

@proceedings{comon95lncs,
  title = {Term Rewriting},
  booktitle = {Term Rewriting},
  topics = {team, cclserver},
  year = 1995,
  editor = {Hubert Comon and Jean-Pierre Jouannaud},
  series = {Lecture Notes in Computer Science},
  volume = {909},
  publisher = {Springer},
  organization = {French Spring School of Theoretical Computer
		  Science},
  type_publi = {editeur},
  clef_labo = {CJ95}
}

@proceedings{cp95,
  title = {Principles and Practice of Constraint Programming},
  booktitle = {Proc. First International Conference on Principles and Practice of Constraint Programming},
  year = 1995,
  editor = {Ugo Montanari and Francesca Rossi},
  publisher = {Springer},
  address = {Cassis, France},
  month = sep,
  series = {Lecture Notes in Computer Science},
  volume = 976,
  isbn = {3-540-60299-2}
}

@proceedings{lics95,
  title = {Tenth Annual {IEEE} Symposium on Logic in Computer Science},
  booktitle = {Tenth Annual {IEEE} Symposium on Logic in Computer Science},
  editor = {Dexter Kozen},
  year = 1995,
  month = jun,
  address = {San Diego, CA},
  publisher = {{IEEE} Comp. Soc. Press}
}

@proceedings{srt95,
  title = {Proceedings of the Conference on Symbolic Rewriting
		  Techniques},
  booktitle = {Proceedings of the Conference on Symbolic Rewriting
		  Techniques},
  year = 1995,
  editor = {Manuel Bronstein and Volker Weispfenning},
  address = {Monte Verita, Switzerland}
}