655 search results - page 26 / 131 » Automata, Logic, and XML |
147
click to vote
ICDT
2007
ACM
16 years 9 days 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...
159
click to vote
TCS
2002
15 years 5 months ago
2002
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...