Theorem Proving for Metric Temporal Logic over the Naturals - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ullrich Hustadt, Ana Ozaki, Clare Dixon. Theorem Proving for Metric Temporal Logic over the Naturals. In Leonardo de Moura, editor, Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. Volume 10395 of Lecture Notes in Computer Science, pages 326-343, Springer, 2017. [doi]

This author has not been identified. Look up 'Ullrich Hustadt' in GoogleThis author has not been identified. Look up 'Ana Ozaki' in GoogleThis author has not been identified. Look up 'Clare Dixon' in Google

runs on WebDSL