An automata-theoretic approach to the word problem for \(\omega\)-terms over R

From MaRDI portal
Publication:868948

DOI10.1016/j.tcs.2006.10.019zbMath1110.68059OpenAlexW1996599450MaRDI QIDQ868948

Marc Zeitoun, Jorge Almeida

Publication date: 26 February 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.10.019




Related Items (17)



Cites Work




This page was built for publication: An automata-theoretic approach to the word problem for \(\omega\)-terms over R