On the Decidability of Formulae Involving Continuous and Closed Functions.

Domenico Cantone, Eugenio G. Omodeo

Browse the full IJCAI paper archive.