An automata-theoretic approach to the word problem for ω-terms over $\ssfR$

TitleAn automata-theoretic approach to the word problem for ω-terms over $\ssfR$
Publication TypeArticles in international peer reviewed journals
AuthorsAlmeida J, Zeitoun M
[2007-33]