Decidable Compositions of O-Minimal Automata

Casagrande Alberto, Corvaja Pietro, Mishra Bud, Piazza Carla
2008-01-01
Cite
Type
Conference paper