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
Title of host publicationProceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010
Publication date2010
StatePublished - 2010
Peer-reviewedYes

Workshop

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

ID: 5251698