An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders

Willem Conradie, Salih Durhan, Guido Sciavicco. An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. In Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani, editors, 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. pages 47-54, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.