2001-other.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2001-other.cite -ob 2001-other.bib -c 'year = 2001 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{treinen01reductauto,
author = {Ralf Treinen},
title = {Undecidability of the Emptiness Problem of Reduction
Automata with Component-Wise Tests},
month = jun,
year = 2001,
note = {\url{http://www.pps.jussieu.fr/~treinen/publications.html}},
topics = {team},
type_publi = {diffusion}
}