Inproceedings,

A Road-Map on Complexity for Hybrid Logics.

, , and .
CSL, volume 1683 of Lecture Notes in Computer Science, page 307-321. Springer, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews