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}
}