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]

Authors

Willem Conradie

This author has not been identified. Look up 'Willem Conradie' in Google

Salih Durhan

This author has not been identified. Look up 'Salih Durhan' in Google

Guido Sciavicco

This author has not been identified. Look up 'Guido Sciavicco' in Google