A | |
---|---|
[ABM00] | Carlos Areces,
Patrick Blackburn, and
Maarten Marx.
The Computational Complexity of Hybrid Temporal
Logics.
Logic Journal of the IGPL 8(5):653-679. Oxford University Press, September 2000.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1