A Road-map on Complexity for Hybrid Logics

Areces, C., Blackburn, P., and Marx, M.. 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{arec:road99,
  author = {Areces, C. and Blackburn, P. and Marx, M.},
  title = {A Road-map on Complexity for Hybrid Logics},
  booktitle = {Computer Science Logic},
  year = {1999},
  editor = {Flum, J. and Rodr\'{\i}guez--Artalejo, M.},
  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 Sun Oct 02, 2016 17:05:49