Tableaux, Resolution and Complexity of Formulas

H.C.M. de Swart, W.M.J. Ophelders

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    Pages (from-to)241-260
    Number of pages20
    JournalMethods of Logic in Computer Science
    Volume1
    Issue number2
    Publication statusPublished - 1994

    Cite this