Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Philippe Balbiani. Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. In Nicolas Markey, Jef Wijsen, editors, TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. pages 19-26, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Philippe Balbiani' in Google

runs on WebDSL