Termination for Hybrid Tableaus

Thomas Bolander, Patrick Blackburn

    Research output: Contribution to journalJournal articlepeer-review

    Original languageEnglish
    JournalJournal of Logic and Computation
    Volume17
    Issue number3
    Pages (from-to)517-554
    ISSN0955-792X
    DOIs
    Publication statusPublished - 2007

    Cite this