A rooted tableau for BCTL*

John Mccabe-Dansted

    Research output: Contribution to journalArticle

    5 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)145
    JournalElectronic Notes in Theoretical Computer Science
    Volume278
    DOIs
    Publication statusPublished - 2011

    Cite this