Two approaches to termination and completeness of hybrid tableaus

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

View graph of relations

Original languageEnglish
TitleProceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010
Publication date2010
StatePublished

Workshop

WorkshopInternational Workshop on Hybrid Logic and Applications
CountryUnited Kingdom
CityEdinburgh
Period10/07/10 → …
Internet addresshttp://hylocore.ruc.dk/HyLo2010.html
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 5251698