Decidable Compositions of O-Minimal Automata.

Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra

Browse the full ATVA paper archive.