%0 Conference Paper %1 conf/time/BresolinMGMS09 %A Bresolin, Davide %A Monica, Dario Della %A Goranko, Valentin %A Montanari, Angelo %A Sciavicco, Guido %B TIME %D 2009 %E Lutz, Carsten %E Raskin, Jean-François %I IEEE Computer Society %K dblp %P 88-95 %T Undecidability of Interval Temporal Logics with the Overlap Modality. %U http://dblp.uni-trier.de/db/conf/time/time2009.html#BresolinMGMS09 %@ 978-0-7695-3727-6

@inproceedings{conf/time/BresolinMGMS09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bresolin, Davide and Monica, Dario Della and Goranko, Valentin and Montanari, Angelo and Sciavicco, Guido}, biburl = {https://www.bibsonomy.org/bibtex/2c80c52eb30234afdf07ab7a8a698f6d3/dblp}, booktitle = {TIME}, crossref = {conf/time/2009}, editor = {Lutz, Carsten and Raskin, Jean-François}, ee = {https://doi.ieeecomputersociety.org/10.1109/TIME.2009.24}, interhash = {bba0dabdadf35a1fa2b0d22801db2e2c}, intrahash = {c80c52eb30234afdf07ab7a8a698f6d3}, isbn = {978-0-7695-3727-6}, keywords = {dblp}, pages = {88-95}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:34:36.000+0200}, title = {Undecidability of Interval Temporal Logics with the Overlap Modality.}, url = {http://dblp.uni-trier.de/db/conf/time/time2009.html#BresolinMGMS09}, year = 2009 }