Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Hustadt, U ORCID: 0000-0002-0455-0267, Ozaki, A and Dixon, C ORCID: 0000-0002-4610-9533 (2017) Theorem Proving for Metric Temporal Logic over the Naturals. In: 26th International Conference on Automated Deduction.

This list was generated on Sun Feb 25 19:10:48 2024 GMT.