1991-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1991-conference.cite -ob 1991-conference.bib -c 'year = 1991 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{comon91icalp,
  author = {Hubert Comon},
  title = {Complete Axiomatizations of some Quotient Term Algebras},
  crossref = {icalp91},
  year = 1991,
  topics = {constraints, old-team}
}

@inproceedings{dershowitz91rta,
  author = {Nachum Dershowitz and Jean-Pierre Jouannaud and J.W. Klop},
  title = {Open Problems in Term Rewriting},
  crossref = {rta91},
  topics = {rewriting, old-team},
  pages = {445--456}
}

@inproceedings{jouannaud91icalp,
  author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
  topics = {rewriting, old-team},
  location = {jpj, HC 606},
  title = {Satisfiability of systems of ordinal notations with
		  the subterm property is decidable },
  crossref = {icalp91},
  pages = {455--468}
}

@inproceedings{jouannaud91lics,
  author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
  topics = {rewriting, old-team},
  location = {jpj, HC 554},
  title = {Executable Higher-Order Algebraic Specification Languages},
  institution = {University Paris Sud},
  crossref = {lics91},
  pages = {350--361},
  year = 1991
}

@inproceedings{jouannaud91stacs,
  author = {Jean-Pierre Jouannaud},
  title = {Executable Higher-Order Algebraic Specifications},
  booktitle = {Proc. 8th Symp. on Theoretical Aspects of Computer
		 Science, Hamburg, LNCS 480},
  year = 1991,
  topics = {old-team, ADT, rewriting},
  editor = {C. Choffrut and M. Jantzen},
  pages = {16--25},
  month = feb
}

@inproceedings{kesner91mfcs,
  author = {Delia Kesner},
  topics = {old-team},
  title = {Pattern Matching in Order-sorted Languages},
  booktitle = {Proc. 16th Mathematical Foundations of Computer
		 Science, Warsaw, LNCS 520},
  location = {HC 520},
  year = 1991,
  publisher = {Springer}
}

@inproceedings{marche91rta,
  topics = {rewriting, old-team},
  location = {CM},
  author = {Claude March{\'e}},
  title = {On ground {AC}-completion},
  crossref = {rta91},
  year = 1991
}

@proceedings{icalp91,
  title = {18th International Colloquium on
			Automata, Languages and Programming},
  booktitle = {18th International Colloquium on
			Automata, Languages and Programming},
  address = {Madrid, Spain},
  editor = {Javier Leach Albert and Burkhard Monien and M. Rodriguez Artalejo},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {510},
  year = 1991
}

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

@proceedings{rta91,
  title = {4th International Conference on Rewriting Techniques and
                        Applications},
  booktitle = {4th International Conference on Rewriting Techniques and
                        Applications},
  editor = {Ronald. V. Book},
  year = 1991,
  month = apr,
  address = {Como, Italy},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 488
}