Sciweavers

CORR
2008
Springer

Complexity of Hybrid Logics over Transitive Frames

14 years 16 days ago
Complexity of Hybrid Logics over Transitive Frames
Martin Mundhenk, Thomas Schneider 0002, Thomas Sch
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Martin Mundhenk, Thomas Schneider 0002, Thomas Schwentick, Volker Weber
Comments (0)