top

On the complexity of hybrid logics with binders

B. ten Cate and M. Franceschet. On the complexity of hybrid logics with binders. In Proceedings of Computer Science Logic 2005, pp. 339–354, Springer Verlag, 2005.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{tencate2005complexity,
  author = {B. ten Cate and M. Franceschet},
  title = {On the complexity of hybrid logics with binders},
  booktitle = {Proceedings of Computer Science Logic 2005},
  year = {2005},
  editor = {L. Ong},
  volume = {3634},
  series = {Lecture Notes in Computer Science},
  pages = {339--354},
  publisher = {Springer Verlag},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33