Sciweavers

Share
LPAR
2010
Springer

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

9 years 7 months ago
Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference
Mark Kaminski, Gert Smolka
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LPAR
Authors Mark Kaminski, Gert Smolka
Comments (0)
books