Signed Interval Logic

Thomas Marthedal Rasmussen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publication10th Nordic Workshop on Programming Theory NWPT'98
    Place of PublicationTurku
    PublisherTurku Centre for Computer Science
    Publication date1998
    Pages29-30
    Publication statusPublished - 1998
    Event10th Nordic Workshop on Programming Theory - Turku, Finland
    Duration: 14 Oct 199816 Oct 1998
    Conference number: 10

    Conference

    Conference10th Nordic Workshop on Programming Theory
    Number10
    CountryFinland
    CityTurku
    Period14/10/199816/10/1998

    Cite this