A road-map on complexity for hybrid logics
| Authors |
|
|---|---|
| Publication date | 1999 |
| Host editors |
|
| Book title | Proceedings of the 8th Annual Conference of the EACSL |
| Event | 8th Annual Conference of the EACSL, Madrid |
| Pages (from-to) | 307-321 |
| Organisations |
|
| Document type | Conference contribution |
| Permalink to this page | |
