Two-sorted Point-Interval Temporal Logics

Philippe Balbiani, Valentin Goranko, Guido Sciavicco

    Research output: Contribution to journal › Conference article › Research › peer-review

    Fingerprint

    Dive into the research topics of 'Two-sorted Point-Interval Temporal Logics'. Together they form a unique fingerprint.

    Computer Science

    Mathematics

    Keyphrases