An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

Willem Conradie, Salih Durhan, Guido Sciavicco. An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). Logical Methods in Computer Science, 16(2), 2020. [doi]

Abstract

Abstract is missing.