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

    @article{9430c87aecc44acaadc63f13db576434,
    title = "Tableaux, Resolution and Complexity of Formulas",
    author = "{de Swart}, H.C.M. and W.M.J. Ophelders",
    note = "Pagination: 20",
    year = "1994",
    language = "English",
    volume = "1",
    pages = "241--260",
    journal = "Methods of Logic in Computer Science",
    number = "2",

    }

    Tableaux, Resolution and Complexity of Formulas. / de Swart, H.C.M.; Ophelders, W.M.J.

    In: Methods of Logic in Computer Science, Vol. 1, No. 2, 1994, p. 241-260.

    Research output: Contribution to journalArticleScientificpeer-review

    TY - JOUR

    T1 - Tableaux, Resolution and Complexity of Formulas

    AU - de Swart, H.C.M.

    AU - Ophelders, W.M.J.

    N1 - Pagination: 20

    PY - 1994

    Y1 - 1994

    M3 - Article

    VL - 1

    SP - 241

    EP - 260

    JO - Methods of Logic in Computer Science

    JF - Methods of Logic in Computer Science

    IS - 2

    ER -