![]() |
@article{DBLP:journals/ijfcs/SaoudiMS90,
author = {Ahmed Saoudi and
David E. Muller and
Paul E. Schupp},
title = {On the Complexity of omega-Tree Sets and Nerode Theorem},
journal = {Int. J. Found. Comput. Sci.},
volume = {1},
number = {1},
year = {1990},
pages = {11-22},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-01-24 by Michael Ley (ley@uni-trier.de)