![](/img/cover-not-exists.png)
Terminating Tableau Systems for Hybrid Logic with Difference and Converse
Mark Kaminski, Gert SmolkaVolume:
18
Language:
english
Pages:
28
DOI:
10.1007/s10849-009-9087-8
Date:
October, 2009
File:
PDF, 802 KB
english, 2009