11 search results - page 3 / 3 » Addition-Invariant FO and Regularity |
ICDT
2007
ACM
13 years 11 months ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...