1998-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1998-journal.cite -ob 1998-journal.bib -c 'year = 1998 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/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}
}