1998-journal.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 1998-journal.cite -ob 1998-journal.bib -c 'year = 1998 and topics : "team" and $type="article"' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/crossrefs.bib}}
@article{backofen96ic,
  author = {Rolf Backofen and Ralf Treinen},
  title = {How to Win a Game with Features},
  topics = {constraints, features, team, cclserver, lri},
  journal = {Information and Computation},
  year = 1998,
  month = apr,
  volume = 142,
  number = 1,
  pages = {76--101},
  note = {Special issue on the 1st International Conference on
			Constraints in Computational Logics, M{\"u}nchen,
			Germany, edited by Jean-Pierre Jouannaud.},
  ftp = {ftp://ftp.lri.fr/LRI/articles/treinen/FeatGames.ps.gz},
  abstract = {ftp://ftp.lri.fr/LRI/articles/treinen/FeatGames.abstract},
  type_publi = {irevcomlec},
  clef_labo = {BT98R}
}
@article{jouannaud98tcs,
  author = {Jean-Pierre Jouannaud and Albert Rubio},
  title = {Rewrite Orderings for Higher-Order Terms in $\eta$-long $\beta$-normal Form and the Recursive Path Ordering},
  journal = {Theoretical Computer Science},
  year = 1998,
  month = nov,
  volume = 208,
  number = {1--2},
  pages = {3--31},
  type_publi = {irevcomlec},
  topics = {team, lri},
  clef_labo = {JR98R}
}
@article{marche98pcsal,
  author = {Claude March{\'e}},
  title = {{Normalized Rewriting: an unified view of
		  Knuth-Bendix completion and Gr{\"o}bner bases computation}},
  journal = {Progress in Computer Science and Applied Logic},
  publisher = {Bikha{\"u}ser Verlag},
  year = 1998,
  volume = 15,
  pages = {193--208},
  x-pdf = {http://www.lri.fr/~marche/articles/srt95.ps.gz},
  abstract = {http://www.lri.fr/~marche/srt95.html},
  type_publi = {irevcomlec},
  topics = {team, cclserver, lri},
  clef_labo = {Mar98R}
}
@article{treinen98tcs,
  author = {Ralf Treinen},
  title = {The First-Order Theory of Linear One-Step Rewriting
			Is Undecidable},
  journal = {Theoretical Computer Science},
  year = 1998,
  month = nov,
  volume = 208,
  number = {1--2},
  pages = {149--177},
  topics = {team, lri, cclserver},
  type_publi = {irevcomlec},
  clef_labo = {Tre98R}
}
@article{CR98,
  title = {Faithful pi-nets. A faithful graphical representation for pi-calculus},
  author = {Gabriel Ciobanu and Mihai Rotaru},
  journal = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier},
  year = 1998,
  volume = 18,
  type_publi = {irevcomlec},
  topics = {team, lri},
  url = {http://www.elsevier.nl/locate/entcs/volume18.html}
}