Undecidability of Interval Temporal Logics with the Overlap Modality

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 16h International Symposium on Temporal Representation and Reasoning
    PublisherIEEE Computer Society Press
    Publication date2009
    Pages88-95
    Publication statusPublished - 2009
    Event16h International Symposium on Temporal Representation and Reasoning -
    Duration: 1 Jan 2009 → …

    Conference

    Conference16h International Symposium on Temporal Representation and Reasoning
    Period01/01/2009 → …

    Cite this