1993-other.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1993-other.cite -ob 1993-other.bib -c 'year = 1993 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@unpublished{comon93cirs1,
author = {Hubert Comon},
topics = {team, rewriting,cclserver, lri},
title = {Completion of Rewrite systems with membership
constraints. Part I: deduction rules},
note = {This is a first part of a paper whose abstract
appeared in Proc. {ICALP 92}, Vienna. It will appear
in the Journal of Symbolic Computation},
year = 1993,
month = aug,
ftp = {ftp://ftp.lri.fr/LRI/articles/comon/constrained-completion1.dvi.Z}
}
@unpublished{comon93cirs2,
author = {Hubert Comon},
topics = {team, lri, rewriting, cclserver},
title = {Completion of Rewrite systems with membership
constraints. Part II: Constraint Solving},
note = {This is the second part of a paper whose abstract
appeared in Proc. {ICALP 92}, Vienna. It will appear
in the Journal of Symbolic Computation},
year = 1993,
month = aug,
ftp = {ftp://ftp.lri.fr/LRI/articles/comon/constrained-completion2.dvi.Z}
}
@unpublished{comon94jsc,
author = {Hubert Comon and Maribel Fern{\'a}ndez},
topics = {teamnop},
title = {Negation Elimination, Part {I}: Equational Formulae
in Empty or Permutative Theories},
note = {submitted},
year = 1993
}
@unpublished{fernandez94jsc,
author = {Maribel Fern{\'a}ndez},
topics = {teamnop},
title = {Negation Elimination, Part {II}: {AC} Complement Problems},
note = {submitted},
year = 1993
}
@misc{marche93litp,
author = {Claude March{\'e}},
title = {Normalized Rewriting -- Application to ground
completion and standard bases},
howpublished = {Notes de cours de l'{\'e}cole de printemps},
year = 1993,
topics = {team, lri},
x-pdf = {http://www.lri.fr/~marche/articles/litp93.ps.gz},
abstract = {http://www.lri.fr/~marche/litp93.html},
type_publi = {diffusion}
}