Login / Signup
An automata-theoretic approach to the word problem for omega -terms over R.
Jorge Almeida
Marc Zeitoun
Published in:
Theor. Comput. Sci. (2007)
Keyphrases
</>
word problems
high level