Experiments in Theorem Proving for Topological Hybrid Logic

Sustretov, D., Hoffmann, G., Areces, C., and Blackburn, P.. Experiments in Theorem Proving for Topological Hybrid Logic. In Proceedings of Methods for Modalities 5, November 2007.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{sust:expe07,
  author = {Sustretov, D. and Hoffmann, G. and Areces, C. and Blackburn, P.},
  title = {Experiments in Theorem Proving for Topological Hybrid Logic},
  booktitle = {Proceedings of Methods for Modalities 5},
  year = {2007},
  month = {November},
  owner = {areces},
  timestamp = {2007.10.25}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49