Hybrid Logics on Linear Structures: Expressivity and Complexity
Massimo Franceschet,
Maarten de Rijke
, and
Bernd-Holger Schlingloff
View Paper (PDF)
Return to Research Papers
©2004 Association for Computing Machinery