Axiomatizing Propositional Dependence Logics

Katsuhiko Sano, Virtema Jonni

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    11 Citations (Scopus)
    Original languageEnglish
    Title of host publication24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
    EditorsStephan Kreutzer
    Place of PublicationDagstuhl, Germany
    Pages292-307
    DOIs
    Publication statusPublished - 2015
    Publication typeA4 Article in conference proceedings
    EventAnnual conference of the European Association for Computer Science Logic -
    Duration: 1 Jan 2015 → …

    Publication series

    NameLeibniz International Proceedings in Informatics (LIPIcs)
    ISSN (Print)1868-8969

    Conference

    ConferenceAnnual conference of the European Association for Computer Science Logic
    Period1/01/15 → …

    Publication forum classification

    • Publication forum level 1

    Cite this