top

A Road-map on Complexity for Hybrid Logics

C. Areces, P. Blackburn, and M. Marx. A Road-map on Complexity for Hybrid Logics. In Computer Science Logic, pp. 307–321, Springer, Madrid, Spain, 1999. Proceedings of the 8th Annual Conference of the EACSL, Madrid, September 1999.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{areces99:_road_compl_hybrid_logic,
  author = {C. Areces and P. Blackburn and M. Marx},
  title = {A Road-map on Complexity for Hybrid Logics},
  booktitle = {Computer Science Logic},
  year = {1999},
  editor = {J. Flum and M. Rodr\'{\i}guez-Artalejo},
  number = {1683},
  series = {LNCS},
  pages = {307--321},
  address = {Madrid, Spain},
  publisher = {Springer},
  note = {Proceedings of the 8th Annual Conference of the EACSL, Madrid, September
	1999.},
}

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