An automata-theoretic approach to the word problem for ω-terms over R

TitleAn automata-theoretic approach to the word problem for ω-terms over R
Publication TypePreprint
AuthorsAlmeida J, Zeitoun M
[2004-38]