1992-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1992-conference.cite -ob 1992-conference.bib -c 'year = 1992 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{boudet92alp,
  author = {Alexandre Boudet and \'Evelyne Contejean},
  topics = {old-team},
  title = {On $n$-syntactic equational theories},
  pages = {446--457},
  crossref = {alp92},
  year = 1992,
  abstract = {http://www.lri.fr/~contejea/publis/1992alp/abstract.html},
  doi = {http://dx.doi.org/10.1007/BFb0013843}
}

@inproceedings{boudet92cade,
  author = {Alexandre Boudet},
  topics = {unification, old-team},
  title = {Unification in Order-Sorted Algebras with Overloading},
  crossref = {cade92}
}

@inproceedings{comon92icalp,
  author = {Hubert Comon},
  title = {Completion of Rewrite Systems with Membership Constraints},
  booktitle = {Proc. 19th Int. Coll. on Automata, Languages and
		 Programming, LNCS 623},
  year = 1992,
  topics = {rewriting, constraints, old-team},
  editor = {W. Kuich},
  publisher = {Springer},
  address = {Vienna},
  annote = {An extended version is available as {LRI} Research Report
		  number 699, Sept. 1991}
}

@inproceedings{comon92lics,
  author = {Hubert Comon and Marianne Haberstrau and
                   Jean-Pierre Jouannaud},
  title = {Decidable properties of shallow equational theories},
  crossref = {lics92},
  topics = {old-team, unification, disunification},
  year = 1992
}

@inproceedings{comon92mfcs,
  author = {Hubert Comon and Maribel Fern{\'a}ndez},
  topics = {old-team, cclserver},
  location = {HC 587},
  title = {Negation Elimination in Equational Formulae},
  crossref = {mfcs92},
  year = 1992
}

@inproceedings{haberstrau92,
  author = {Marianne Haberstrau},
  topics = {old-team},
  title = {{ECOLOG: un Environnement pour la programmation en
		 LOGique COntrainte}},
  booktitle = {Actes des {Journ{\'e}es} Francophones sur la Programmation Logique},
  month = may,
  year = 1992
}

@inproceedings{jouannaud92adt,
  author = {J.-P. Jouannaud},
  topics = {old-team},
  title = {Rewriting Techniques for Software Engineering},
  booktitle = {Proc. Workshop on Algebraic Specifications of
		  Abstract Data Types},
  year = 1992,
  address = {Barcellonna},
  note = {To appear in LNCS}
}

@inproceedings{kesner92cade,
  author = {Delia Kesner},
  topics = {old-team, cclserver},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/cade92.ps.gz},
  title = {Free Sequentiality in Orthogonal Order-Sorted
		  	Rewriting Systems with Constructors},
  crossref = {cade92},
  pages = {603--617},
  type_publi = {icolcomlec},
  year = 1992
}

@inproceedings{kesner92unif,
  author = {Delia Kesner},
  topics = {old-team},
  title = {Sequential Signatures and Sequential Sorts},
  booktitle = {Proc. 6th Workshop on Unification},
  address = {Schlo{\ss} Dagstuhl, Germany},
  year = 1992,
  month = jul
}

@proceedings{alp92,
  title = {3th International Conference on Algebraic and
			Logic Programming},
  booktitle = {3th International Conference on Algebraic and
			Logic Programming},
  editor = {H{\'e}l{\`e}ne Kirchner and Giorgio Levi},
  month = sep,
  year = 1992,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {632},
  address = {Volterra, Italy},
  isbn = {3-540-55873-X}
}

@proceedings{cade92,
  title = {11th International Conference on Automated Deduction},
  booktitle = {11th International Conference on Automated Deduction},
  address = {Saratoga Springs, NY},
  editor = {Deepak Kapur},
  year = 1992,
  month = jun,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {607}
}

@proceedings{icalp92,
  title = {19th International Colloquium on
                	Automata, Languages and Programming},
  booktitle = {19th International Colloquium on
                	Automata, Languages and Programming},
  address = {Wien, Austria},
  editor = {W. Kuich},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {623},
  year = 1992,
  month = jul
}

@proceedings{lics92,
  title = {Proceedings of the Seventh Annual IEEE Symposium on Logic
			in Computer Science},
  booktitle = {Proceedings of the Seventh Annual IEEE Symposium on Logic
			in Computer Science},
  year = 1992,
  publisher = {{IEEE} Comp. Soc. Press}
}

@proceedings{mfcs92,
  title = {Mathematical Foundations of Computer Science},
  booktitle = {Mathematical Foundations of Computer Science},
  year = 1992,
  publisher = {Springer}
}