A | |
---|---|
[ABM99] | Carlos Areces,
Patrick Blackburn, and
Maarten Marx.
A Road-Map on Complexity for Hybrid Logics.
In CSL'99,
Lecture Notes in Computer Science 1862, pages 307-321. Springer-Verlag, September 1999.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1