Two approaches to termination and completeness of hybrid tableaus

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010
Publication date	2010
Publication status	Published - 2010
Event	International Workshop on Hybrid Logic and Applications - Edinburgh, United Kingdom Duration: 10 Jul 2010 → … http://hylocore.ruc.dk/HyLo2010.html

Workshop	International Workshop on Hybrid Logic and Applications
Country/Territory	United Kingdom
City	Edinburgh
Period	10/07/2010 → …
Internet address	http://hylocore.ruc.dk/HyLo2010.html

OpenUrl availability

@inproceedings{0d0d5faa784d400d8076384be1625734,

title = "Two approaches to termination and completeness of hybrid tableaus",

author = "Thomas Bolander",

year = "2010",

language = "English",

booktitle = "Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010",

note = "International Workshop on Hybrid Logic and Applications, HyLo 2010 ; Conference date: 10-07-2010",

url = "http://hylocore.ruc.dk/HyLo2010.html",

}