Automated Reasoning About Metric and Topology.

Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Browse the full JELIA paper archive.