A Tableau Method for Interval Temporal Logic with Projection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Howard Bowman, Simon J. Thompson. A Tableau Method for Interval Temporal Logic with Projection. In Harrie C. M. de Swart, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Volume 1397 of Lecture Notes in Computer Science, pages 108-123, Springer, 1998. [doi]

This author has not been identified. Look up 'Howard Bowman' in GoogleThis author has not been identified. Look up 'Simon J. Thompson' in Google

runs on WebDSL