15th TIME 2008: Monteéal, Canada

Refine list

showing all ?? records

Keynotes

Panel

Computational Complexity and Decidability

Spatio-Temporal Data Management

Temporal Reasoning on Tree-like Structures

Query Processing and Data Mining

Proof Systems for Temporal Reasoning

Planning

Verification of Infinite-State Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics