top

Hybrid Logics on Linear Structures: Expressivity and Complexity

M. Franceschet, M. de Rijke, and H. Schlingloff. Hybrid Logics on Linear Structures: Expressivity and Complexity. In Proceedings of the International Symposium on temporal representation and reasoning - International Conference on Temporal Logic, pp. 166–173, 2003.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{Fran:Hybrid03,
  author = {M. Franceschet and M. de Rijke and H. Schlingloff},
  title = {Hybrid Logics on Linear Structures: Expressivity and Complexity},
  booktitle = {Proceedings of the International Symposium on temporal representation
	and reasoning - International Conference on Temporal Logic},
  year = {2003},
  pages = {166--173},
  owner = {areces},
  timestamp = {2008.08.27}
}

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