1994-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1994-conference.cite -ob 1994-conference.bib -c 'year = 1994 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{DiCosmo94,
  author = {Di Cosmo, Roberto and Kesner, Delia},
  topics = {team, cclserver, lri},
  title = {Combining first order algebraic rewriting systems,
			recursion and extensional lambda calculi},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/icalp94.ps.gz},
  crossref = {icalp94},
  pages = {462--472},
  year = 1994,
  type_publi = {icolcomlec},
  clef_labo = {DCK94E}
}

@inproceedings{Kesner94,
  author = {Delia Kesner},
  topics = {team, cclserver, lri},
  title = {{Reasoning about Layered, Wildcard and Product Patterns}},
  crossref = {alp94},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/alp94.ps.gz},
  year = 1994,
  pages = {253--268},
  publisher = {Springer-Verlag},
  type_publi = {icolcomlec},
  clef_labo = {Kes94E}
}

@inproceedings{bachmair94ccl,
  author = {Leo Bachmair and Harald Ganzinger},
  title = {Buchberger's algorithm: A constraint-based
		  completion procedure},
  pages = {285--301},
  crossref = {ccl94},
  year = 1994
}

@inproceedings{barbanera94lics,
  topics = {l-calculus, rewriting, team, cclserver, lri},
  author = {F. Barbanera and M. Fern{\'a}ndez and H. Geuvers},
  title = {Modularity of Strong Normalization and Confluence
			in the $\lambda$-algebraic-cube},
  crossref = {lics94},
  pages = {406-415},
  year = 1994,
  type_publi = {icolcomlec},
  clef_labo = {BFG94E}
}

@inproceedings{boudet94ccl,
  author = {Alexandre Boudet and \'Evelyne Contejean},
  topics = {team, cclserver, lri},
  title = {``{S}yntactic'' {AC}-Unification},
  pages = {136--151},
  crossref = {ccl94},
  year = 1994,
  abstract = {http://www.lri.fr/~contejea/publis/ccl94/abstract.html},
  http = {http://dx.doi.org/10.1007/BFb0016849},
  type_publi = {icolcomlec},
  clef_labo = {BC94E}
}

@inproceedings{caron94icalp,
  author = {Anne-C{\'e}cile Caron and Hubert Comon and
                   Jean-Luc Coquid{\'e} and Max
		   Dauchet and Florent Jacquemard},
  title = {Pumping, Cleaning and Symbolic Constraints Solving},
  topics = {formal_languages, rewriting, team,cclserver, lri},
  booktitle = {Proc. Int. Conference on Algorithms, Languages and
		   Programming},
  year = 1994,
  type_publi = {icolcomlec},
  pages = {436--449},
  clef_labo = {CCC+94E}
}

@inproceedings{comon94caap,
  author = {Hubert Comon and Ralf Treinen},
  title = {Ordering Constraints on Trees},
  topics = {team, lri, constraints, cclserver},
  crossref = {caap94},
  pages = {1--14},
  year = 1994,
  note = {(Invited Lecture)},
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/caap94.ps.Z},
  type_publi = {icolcomlec},
  clef_labo = {CT94E}
}

@inproceedings{comon94ecole,
  author = {Hubert Comon},
  title = {Inductionless Induction},
  year = {1994},
  topics = {team, lri, ATP},
  crossref = {chambery94},
  type_publi = {icolcomlec},
  clef_labo = {Com94E}
}

@inproceedings{comon94stacs,
  author = {Hubert Comon and Florent Jacquemard},
  topics = {formal_languages, rewriting, team, lri},
  title = {{Ground Reducibility and Automata with Disequality
                  Constraints}},
  booktitle = {Proc. 11th Symp. on Theoretical Aspects of Computer Science},
  year = 1994,
  editor = {P. Enjalbert},
  publisher = {Springer},
  address = {Caen},
  type_publi = {icolcomlec},
  series = {Lecture Notes in Computer Science},
  volume = 775,
  pages = {151-162},
  clef_labo = {CJ94E}
}

@inproceedings{dauchet94ccl,
  author = {Dauchet, M.},
  title = {Symbolic constraints and tree automata},
  pages = {217--218},
  crossref = {ccl94}
}

@inproceedings{dauchet94ep,
  author = {Max Dauchet},
  title = {Rewriting and Tree Automata},
  crossref = {comon95lncs},
  location = {HC 667},
  year = 1994
}

@inproceedings{fernandez94csl,
  topics = {team, lri},
  author = {Jouannaud, Jean-Pierre and Fern{\'a}ndez, Maribel},
  title = {Modular Properties of Term Rewriting Systems : New
		 Proofs and Results},
  booktitle = {Proc. Computer Science Logic},
  year = {1994},
  editor = {J. Tiuryn},
  publisher = {University of Kasimiercz},
  type_publi = {icolcomlec},
  note = {(invited lecture)},
  clef_labo = {JF94E}
}

@inproceedings{haberstr94,
  author = {Marianne Haberstrau},
  topics = {team, lri, cclserver},
  title = {ECOLOG: an Environment for COnstraint LOGics},
  crossref = {ccl94},
  year = 1994,
  pages = {237--252},
  type_publi = {icolcomlec},
  clef_labo = {Hab94E}
}

@inproceedings{jouannaud94ctrs,
  author = {Jean-Pierre Jouannaud and Walid Sadfi},
  topics = {rewriting, team, lri, cclserver},
  location = {WS},
  title = {Strong sequentiality of left-linear overlapping rewrite
                   systems},
  pages = {235--246},
  editor = {N. Dershowitz},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science, vol. 968},
  booktitle = {Workshop on Conditional Term Rewriting systems},
  year = 1994,
  address = {Jerusalem},
  month = jul,
  ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/ssllors.ps.gz},
  abstract = {http://www.lri.fr/~jouannau/abstracts/ssllors.html},
  type_publi = {colloque},
  clef_labo = {JS94N}
}

@inproceedings{lugiez94ccl,
  author = {D. Lugiez},
  title = {Higher order disunification: some decidabl cases},
  crossref = {ccl94}
}

@inproceedings{marche94lics,
  author = {Claude March{\'e}},
  topics = {team, lri, cclserver},
  title = {Normalised Rewriting and Normalised Completion},
  crossref = {lics94},
  year = 1994,
  pages = {394--403},
  x-pdf = {http://www.lri.fr/~marche/articles/lics94.ps.gz},
  abstract = {http://www.lri.fr/~marche/lics94.html},
  type_publi = {icolcomlec},
  clef_labo = {Mar94E}
}

@inproceedings{qian94,
  author = {Zhenyu Qian and Kang Wang},
  title = {{Modular AC-Unification of Higher-Order Patterns}},
  pages = {105--120},
  crossref = {ccl94}
}

@inproceedings{snyder94ccl,
  author = {Snyder, W.},
  title = {Automated Deduction with Constraints},
  crossref = {ccl94}
}

@inproceedings{courant94gdr,
  author = {Judica{\"e}l Courant},
  title = {Explicitation de preuves par r{\'e}currence
                  implicite},
  year = 1994,
  month = {September},
  booktitle = {{Actes de la journ{\'e}e du P{\^o}le Preuves et
                  Sp{\'e}cifications Alg{\'e}briques du GDR de
                  programmation du CNRS}},
  address = {{Lille, France}},
  type_publi = {colloque},
  topics = {team}
}

@inproceedings{leclerc94types,
  author = {Fr\'ed\'eric Leclerc and Christine Paulin-Mohring},
  title = {Programming with Streams in {Coq}. A case study : The Sieve of Eratosthenes},
  editor = {H. Barendregt and T. Nipkow},
  volume = 806,
  series = {Lecture Notes in Computer Science},
  booktitle = {{Types for Proofs and Programs, Types' 93}},
  year = 1994,
  topics = {team},
  publisher = {Springer}
}

@proceedings{alp94,
  title = {4th International Conference on Algebraic and
			Logic Programming},
  booktitle = {4th International Conference on Algebraic and
			Logic Programming},
  editor = {Giorgio Levi and Mario Rodr{\'\i}guez-Artalejo},
  month = sep,
  year = 1994,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {850},
  address = {Madrid, Spain}
}

@proceedings{caap94,
  title = {Colloquium on Trees in Algebra and Programming},
  booktitle = {Colloquium on Trees in Algebra and Programming},
  editor = {Sophie Tison},
  year = 1994,
  address = {Edinburgh, Scotland},
  series = {Lecture Notes in Computer Science},
  volume = 787,
  publisher = {Springer}
}

@proceedings{ccl94,
  topics = {teamp, cclserver,lri},
  title = {First International Conference on Constraints in
			Computational Logics},
  booktitle = {First International Conference on Constraints in
			Computational Logics},
  editor = {Jean-Pierre Jouannaud},
  address = {M{\"u}nchen, Germany},
  month = sep,
  year = 1994,
  series = {Lecture Notes in Computer Science},
  volume = 845,
  publisher = {Springer},
  isbn = {3-540-58403-X},
  type_publi = {editeur}
}

@proceedings{chambery94,
  title = {2nd International Conference in Logic For Computer
		  Science: Automated Deduction. Lecture notes.},
  booktitle = {2nd International Conference in Logic For Computer
		  Science: Automated Deduction. Lecture notes.},
  year = 1994,
  publisher = {Univ. de Savoie},
  editor = {Ren{\'e} David},
  address = {Chamb{\'e}ry},
  month = jul
}

@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{icalp94,
  title = {21th International Colloquium on
                        Automata, Languages and Programming},
  booktitle = {21th International Colloquium on
                        Automata, Languages and Programming},
  address = {Jerusalem, Israel},
  editor = {Serge Abiteboul and Eli Shamir},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 820,
  year = 1994,
  month = jul
}

@proceedings{lics94,
  title = {Proceedings of the Ninth Annual IEEE Symposium on Logic
			in Computer Science},
  booktitle = {Proceedings of the Ninth Annual IEEE Symposium on Logic
			in Computer Science},
  year = 1994,
  month = jul,
  address = {Paris, France},
  publisher = {{IEEE} Comp. Soc. Press}
}