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 Mon Dec 04, 2017 20:59:00