Authenticus:P-004-BTP | CMUP

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

Theoretical Computer Science | 2007 | article

Publication

Year of publication: 2007

Volume : 370

Pages : 131-169

Month :

CMUP publication : Yes

Authors

M Zeitoun