Deterministic and Nondeterministic Strategies for Hintikka Games in First-order and Branching-quanti

Thomas Forster

    Research output: Contribution to journalArticle

    Original languageEnglish
    Pages (from-to)265-9
    Number of pages5
    JournalLogique et Analyse
    Publication statusPublished - 2006

    Cite this