1993-conference.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1993-conference.cite -ob 1993-conference.bib -c 'year = 1993 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{BTKP93,
  author = {Val Breazu-Tannen and  Delia Kesner and Laurence Puel},
  topics = {team, lri},
  title = {A Typed Pattern Calculus},
  crossref = {lics93},
  pages = {262--274},
  year = 1993,
  type_publi = {icolcomlec}
}
@inproceedings{DiCosmo93,
  author = {Di Cosmo, Roberto and Kesner, Delia},
  topics = {team, cclserver, lri},
  title = {A confluent reduction for the extensional typed
			$\lambda-$calculus with pairs, sums, recursion and
			terminal object},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/icalp93.ps.gz},
  crossref = {icalp93},
  pages = {645--656},
  year = 1993,
  type_publi = {icolcomlec}
}
@inproceedings{barbanera93icalp,
  author = {Franco Barbanera and Maribel Fern{\'a}ndez},
  topics = {l-calculus rewriting, team, lri},
  title = {Modularity of termination and confluence in
		   combinations of rewrite systems with {$\lambda_\omega$}},
  crossref = {icalp93},
  pages = {657--668},
  year = 1993,
  type_publi = {icolcomlec}
}
@inproceedings{barbanera93tlca,
  author = {Franco Barbanera and Maribel Fern{\'a}ndez},
  topics = {l-calculus rewriting, team, lri},
  title = {Combining first and higher order rewrite systems with
		 type assignment systems},
  booktitle = {Proceedings of the International Conference on
		 Typed Lambda Calculi and Applications, Utrecht, Holland},
  year = 1993,
  type_publi = {icolcomlec},
  editor = {M. Bezem and J. Groote},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 664
}
@inproceedings{beldiceanu93,
  author = {Nicolas Beldiceanu and \'Evelyne Contejean and
                  Helmut Simonis},
  topics = {team, constraints, linear Diophantine equations},
  location = {EC},
  title = {Integrating an algorithm for solving linear constraints
                 in finite domains in the language {CHIP}},
  booktitle = {Proc. 4th Workshop on Constraint Logic Programming},
  month = mar,
  year = 1993,
  abstract = {http://www.lri.fr/~contejea/publis/1993wclp/abstract.html}
}
@inproceedings{boudet93caap,
  topics = {constraints, team, cclserver, lri},
  author = {Alexandre Boudet and Hubert Comon},
  title = {About the Theory of tree embedding},
  year = 1993,
  pages = {376--390},
  crossref = {tapsoft93},
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/embedding.dvi.Z},
  type_publi = {icolcomlec}
}
@inproceedings{comon93amast,
  author = {Hubert Comon},
  topics = {team, cclserver, lri},
  title = {Constraints in Term Algebras (Short Survey)},
  booktitle = {Proc. Conf. on Algebraic Methodology and Software
		 Technology},
  year = 1993,
  address = {Univ. of Twente},
  editor = { M. Nivat, C. Rattray, T. Rus and G. Scollo},
  publisher = {Springer},
  series = {Workshop in Computing},
  note = {Invited talk},
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/amast93.dvi.Z},
  type_publi = {icolcomlec}
}
@inproceedings{contejean93icalp,
  author = {\'Evelyne Contejean},
  topics = {unification, team, lri},
  title = {A Partial Solution for {D}-unification based on a Reduction
 	                 to {AC1}-unification},
  pages = {621--632},
  crossref = {icalp93},
  year = 1993,
  abstract = {http://www.lri.fr/~contejea/publis/1993icalp/abstract.html},
  type_publi = {icolcomlec},
  doi = {http://dx.doi.org/10.1007/3-540-56939-1_107}
}
@inproceedings{contejean93iclp,
  author = {\'Evelyne Contejean},
  topics = {Diophantine constraints, team, lri},
  title = {Solving Linear Diophantine Constraints Incrementally},
  crossref = {iclp93},
  pages = {532--549},
  abstract = {http://www.lri.fr/~contejea/publis/1993iclp/abstract.html},
  type_publi = {icolcomlec}
}
@inproceedings{delor93rta,
  author = {Catherine Delor and Laurence Puel},
  topics = {team, lri},
  title = {Extension of the Associative Path Ordering to a Chain
		 	of Associative-Commutative Symbols},
  crossref = {rta93},
  pages = {389--404},
  year = 1993,
  type_publi = {icolcomlec}
}
@inproceedings{dershowitz93open,
  author = {N. Dershowitz and Jean-Pierre Jouannaud and J.W. Klop},
  title = {More Problems in Rewriting},
  crossref = {rta93},
  year = 1993,
  topics = {rewriting, team, lri},
  pages = {468--487},
  type_publi = {icolcomlec}
}
@inproceedings{fernandez93rta,
  author = {Maribel Fern{\'a}ndez},
  topics = {cclserver, team, lri, complement problems},
  title = {{AC}-{C}omplement {P}roblems: {S}atisfiability
 			and {N}egation {E}limination},
  crossref = {rta93},
  year = 1993,
  pages = {358--373},
  type_publi = {icolcomlec}
}
@inproceedings{kesner93unif,
  author = {Delia Kesner},
  topics = {team},
  title = {An extensional $\lambda$-calculus with pairs},
  booktitle = {Proc. 7th Workshop on Unification},
  address = {Boston, USA},
  year = 1993,
  type_publi = {diffusion}
}
@inproceedings{paulin93tlca,
  author = {Christine Paulin-Mohring},
  title = {Inductive Definitions in the System {COQ}},
  booktitle = {Typed Lambda Calculi and Applications},
  year = 1993,
  pages = {328--345},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 664,
  topics = {team}
}
@inproceedings{puel93tapsoft,
  author = {Laurence Puel and Ascander Suarez},
  topics = {team, lri},
  title = {Optimal solutions to pattern matching problems},
  booktitle = {Proc. {TAPSOFT} 93},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science, vol. 668},
  pages = {501--518},
  year = 1993,
  address = {Orsay},
  month = apr,
  type_publi = {icolcomlec}
}
@inproceedings{vanBakel93hoa,
  author = {Stephen van Bakel and Maribel Fern{\'a}ndez},
  title = {Strong Normalization of Typeable Rewrite Systems},
  series = {Lecture Notes In Computer Science, vol. 816},
  booktitle = {Proceedings of HOA'93 (Higher Order Algebra)},
  year = 1993,
  publisher = {Springer},
  address = {Amsterdam, Holland},
  type_publi = {icolcomlec},
  topics = {type systems, rewriting, team, lri, cclserver}
}
@inproceedings{paulintlca93,
  author = {Christine Paulin-Mohring},
  booktitle = {Proceedings of the conference Typed Lambda Calculi an\d Applications},
  editor = {M. Bezem and J.-F. Groote},
  number = 664,
  series = {Lecture Notes in Computer Science},
  title = {{Inductive Definitions in the System {Coq} - Rules an\d Properties}},
  year = 1993,
  topics = {team}
}
@proceedings{icalp93,
  title = {20th International Colloquium on
                        Automata, Languages and Programming},
  booktitle = {20th International Colloquium on
                        Automata, Languages and Programming},
  address = {Lund, Sweden},
  editor = {Andrzej Lingas and Rolf Karlsson and Svante Carlsson},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {700},
  year = 1993,
  month = jul,
  isbn = {3-540-56939-1}
}
@proceedings{iclp93,
  title = {Proceedings of the 10th International Conference on
                	Logic Programming},
  booktitle = {Proceedings of the 10th International Conference on
                	Logic Programming},
  series = {Logic Programming},
  year = 1993,
  month = jun,
  address = {Budapest, Hungary},
  editor = {David S. Warren},
  publisher = {MIT Press},
  isbn = {0-262-73105-3}
}
@proceedings{lics93,
  title = {Proceedings of the Eigth Annual IEEE Symposium on Logic
			in Computer Science},
  booktitle = {Proceedings of the Eigth Annual IEEE Symposium on Logic
			in Computer Science},
  year = 1993,
  publisher = {{IEEE} Comp. Soc. Press}
}
@proceedings{rta93,
  title = {5th International Conference on Rewriting Techniques and
                        Applications},
  booktitle = {5th International Conference on Rewriting Techniques and
                        Applications},
  editor = {Claude Kirchner},
  publisher = {Springer},
  year = 1993,
  month = jun,
  address = {Montreal, Canada},
  series = {Lecture Notes in Computer Science},
  volume = 690
}
@proceedings{tapsoft93,
  title = {4th International Joint Conference on
			Theory and Practice of Software Development},
  booktitle = {4th International Joint Conference on
			Theory and Practice of Software Development},
  editor = {M. C. Gaudel and J.-P. Jouannaud},
  year = 1993,
  month = apr,
  address = {Orsay, France},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 668,
  type_publi = {editeur}
}