Complete Proof Systems for First Order Interval Temporal Logic

Bruno Dutertre. Complete Proof Systems for First Order Interval Temporal Logic. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 36-43, IEEE Computer Society, 1995.

Abstract

Abstract is missing.