Focused Natural Deduction

Taus Brock-Nannestad, Carsten Schürmann

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationroceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
    Number of pages15
    PublisherSpringer
    Publication date2010
    Pages157
    Chapter171
    Publication statusPublished - 2010
    SeriesLecture Notes in Computer Science
    Number6397

    Cite this