Decidability of quantified propositional branching time logics

    Research output: Contribution to journalArticle

    Original languageEnglish
    Pages (from-to)165-176
    JournalLecture Notes in Artificial Intelligence
    Volume2256
    Issue numberN/A
    Publication statusPublished - 2001

    Cite this