Practical Proof Methods for Combined Modal and Temporal Logics. Hustadt, U. In Ohlbach, H. J., Endriss, U., Rodrigues, O., & Schlobach, S., editors, Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000, volume 32, of CEUR Workshop Proceedings, 2000. CEUR-WS.org.
Practical Proof Methods for Combined Modal and Temporal Logics [link]Paper  bibtex   
@inproceedings{DBLP:conf/arw/Hustadt00,
  author    = {Ullrich Hustadt},
  editor    = {Hans J{\"{u}}rgen Ohlbach and
               Ulrich Endriss and
               Odinaldo Rodrigues and
               Stefan Schlobach},
  title     = {Practical Proof Methods for Combined Modal and Temporal Logics},
  booktitle = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging
               the Gap between Theory and Practice, King's College London, UK, 20-21
               July 2000},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {32},
  publisher = {CEUR-WS.org},
  year      = {2000},
  url       = {http://ceur-ws.org/Vol-32/hustadt.ps.gz},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/arw/Hustadt00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0