Journal article
Tableau-Based Decision Procedures for Hybrid Logic
Language: | English |
---|---|
Year: | 2006 |
Pages: | 737-763 |
ISSN: | 1465363x and 0955792x |
Types: | Journal article |
DOI: | 10.1093/logcom/exl008 |
ORCIDs: | Bolander, Thomas |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Journal article
Language: | English |
---|---|
Year: | 2006 |
Pages: | 737-763 |
ISSN: | 1465363x and 0955792x |
Types: | Journal article |
DOI: | 10.1093/logcom/exl008 |
ORCIDs: | Bolander, Thomas |
Analysis