publications:
- title: "Decidable and Undecidable Fragments of Halpern and Shoham s Interval Temporal Logic: Towards a Complete Classification"
  author:
  - name: "Davide Bresolin"
    link: "https://researchr.org/alias/davide-bresolin"
  - name: "Dario Della Monica"
    link: "http://users.dimi.uniud.it/~dario.dellamonica/"
  - name: "Valentin Goranko"
    link: "https://researchr.org/alias/valentin-goranko"
  - name: "Angelo Montanari"
    link: "https://researchr.org/alias/angelo-montanari"
  - name: "Guido Sciavicco"
    link: "https://researchr.org/alias/guido-sciavicco"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89439-1_41"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89439-1_41"
  tags:
  - "completeness"
  - "classification"
  - "logic"
  researchr: "https://researchr.org/publication/BresolinMGMS08"
  cites: 0
  citedby: 0
  pages: "590-604"
  booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings"
  editor:
  - name: "Iliano Cervesato"
    link: "https://researchr.org/alias/iliano-cervesato"
  - name: "Helmut Veith"
    link: "https://researchr.org/alias/helmut-veith"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "5330"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89438-4"
  kind: "inproceedings"
  key: "BresolinMGMS08"