TIME'05 - Temporal Logic in Computer Science 2 A trace semantics for Positive Core XPath Pieter H. Hartel Deterministic CTL Query Solving Marko Samer Helmut Veith Temporal logic with predicate lambda-abstraction Alexei Lisitsa Igor Potapov Return to TIME'05 session listing ©2006 Association for Computing Machinery