Interpretation logics

O. Nykänen

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

    Translated title of the contributionInterpretation logics
    Original languageEnglish
    Title of host publicationProceedings of the 1st OPAALS Conference, November 26-27, 2007, Rome, Italy
    Pages152-159
    Publication statusPublished - 2008
    Publication typeA4 Article in conference proceedings

    Publication forum classification

    • No publication forum level

    Cite this