Tableau-Based Decision Procedures for Hybrid Logic

Torben Braüner, Thomas Bolander

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

OriginalsprogEngelsk
TidsskriftJournal of Logic and Computation
Vol/bind16
Udgave nummer6
Sider (fra-til)737-763
Antal sider27
ISSN0955-792X
StatusUdgivet - 2006

Citer dette