A | |
---|---|
[ABM99] | Carlos Areces,
Patrick Blackburn et
Maarten Marx.
A Road-Map on Complexity for Hybrid Logics.
In CSL'99,
Lecture Notes in Computer Science 1862, pages 307-321. Springer-Verlag, septembre 1999.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1