Theorem Proving for Metric Temporal Logic over the Naturals

Theorem Proving for Metric Temporal Logic over the Naturals. Hustadt, U., Ozaki, A., & Dixon, C. In Proceedings of the 26th International Conference on Automated Deduction (CADE-26), volume 10395, of Lecture Notes in Computer Science, pages 326–343, 2017. Springer.

Paper doi bibtex 1 download

@inproceedings{Hustadt+Ozaki+Dixon@CADE2017,
  author    = {Ullrich Hustadt and
               Ana Ozaki and
               Clare Dixon},
  title     = {Theorem Proving for Metric Temporal Logic over the Naturals},
  editor    = {Leonardo de Moura},
  booktitle = {Proceedings of the 26th International Conference on
               Automated Deduction (CADE-26)},
  caddress  = {Gothenburg, Sweden}, 
  cmonth    = aug # {~6-11},
  cyear     = {2017},
  pages     = {326--343},
  year      = {2017},
  series    = {Lecture Notes in Computer Science},
  volume    = {10395},
  publisher = {Springer},
  url       = {https://doi.org/10.1007/978-3-319-63046-5_20},
  doi       = {10.1007/978-3-319-63046-5_20},
}

Downloads: 1

{"_id":"2eXyn2hJ6fg8qwsCK","bibbaseid":"hustadt-ozaki-dixon-theoremprovingformetrictemporallogicoverthenaturals-2017","downloads":1,"creationDate":"2018-04-02T20:55:30.124Z","title":"Theorem Proving for Metric Temporal Logic over the Naturals","author_short":["Hustadt, U.","Ozaki, A.","Dixon, C."],"year":2017,"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Ana"],"propositions":[],"lastnames":["Ozaki"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"title":"Theorem Proving for Metric Temporal Logic over the Naturals","editor":[{"firstnames":["Leonardo"],"propositions":["de"],"lastnames":["Moura"],"suffixes":[]}],"booktitle":"Proceedings of the 26th International Conference on Automated Deduction (CADE-26)","caddress":"Gothenburg, Sweden","cmonth":"August 6-11","cyear":"2017","pages":"326–343","year":"2017","series":"Lecture Notes in Computer Science","volume":"10395","publisher":"Springer","url":"https://doi.org/10.1007/978-3-319-63046-5_20","doi":"10.1007/978-3-319-63046-5_20","bibtex":"@inproceedings{Hustadt+Ozaki+Dixon@CADE2017,\n author = {Ullrich Hustadt and\n Ana Ozaki and\n Clare Dixon},\n title = {Theorem Proving for Metric Temporal Logic over the Naturals},\n editor = {Leonardo de Moura},\n booktitle = {Proceedings of the 26th International Conference on\n Automated Deduction (CADE-26)},\n caddress = {Gothenburg, Sweden}, \n cmonth = aug # {~6-11},\n cyear = {2017},\n pages = {326--343},\n year = {2017},\n series = {Lecture Notes in Computer Science},\n volume = {10395},\n publisher = {Springer},\n url = {https://doi.org/10.1007/978-3-319-63046-5_20},\n doi = {10.1007/978-3-319-63046-5_20},\n}\n\n","author_short":["Hustadt, U.","Ozaki, A.","Dixon, C."],"editor_short":["de Moura, L."],"key":"Hustadt+Ozaki+Dixon@CADE2017","id":"Hustadt+Ozaki+Dixon@CADE2017","bibbaseid":"hustadt-ozaki-dixon-theoremprovingformetrictemporallogicoverthenaturals-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-63046-5_20"},"metadata":{"authorlinks":{"hustadt, u":"https://cgi.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":1},"search_terms":["theorem","proving","metric","temporal","logic","over","naturals","hustadt","ozaki","dixon"],"keywords":[],"authorIDs":["aQLR39RKeqjQcByRb"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","WhiGijHmCtTSdLaAj","iqRbmbCgpDeaBjend","FgmYE34DdKWThg2dR"]}