A Generalization of Semenov's Theorem to Automata over Real Numbers.

Bernard Boigelot, Julien Brusten, Jrme Leroux

Browse the full CADE paper archive.