𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders

✍ Scribed by Aceto, Luca; Della Monica, Dario; Ingolfsdottir, Anna; Montanari, Angelo; Sciavicco, Guido

Book ID: 126638491
Publisher: IEEE
Year: 2013
Weight: 440 KB
Category: Article
ISBN: 1479922404
DOI: 10.1109/TIME.2013.16

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - An Algebraic System of Temporal Structures

✍ French, Tim; McCabe-Dansted, John; Reynolds, Mark 📂 Article 📅 2013 🏛 IEEE ⚖ 392 KB

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL, USA (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - LTL Satisfiability Checking Revisited

✍ Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 📂 Article 📅 2013 🏛 IEEE ⚖ 421 KB

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL, USA (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Faster Execution Algorithm for Dynamically Controllable STNUs

✍ Hunsberger, Luke 📂 Article 📅 2013 🏛 IEEE ⚖ 476 KB