Conference paper
Two approaches to termination and completeness of hybrid tableaus
Language: | English |
---|---|
Year: | 2010 |
Proceedings: | International Workshop on Hybrid Logic and Applications |
Types: | Conference paper |
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.
Conference paper
Language: | English |
---|---|
Year: | 2010 |
Proceedings: | International Workshop on Hybrid Logic and Applications |
Types: | Conference paper |
ORCIDs: | Bolander, Thomas |
Analysis