dblp.uni-trier.de www.uni-trier.de

15. TIME 2008: Monteéal, Canada

Stéphane Demri, Christian S. Jensen (Eds.): 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Monteéal, Canada, 16-18 June 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3181-6 BibTeX



Computational Complexity and Decidability

Spatio-Temporal Data Management

Temporal Reasoning on Tree-like Structures

Query Processing and Data Mining

Proof Systems for Temporal Reasoning


Verification of Infinite-State Systems

Copyright © Sat May 16 23:43:48 2009 by Michael Ley (ley@uni-trier.de)