655 search results - page 26 / 131 » Automata, Logic, and XML |
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
75
Voted
FUZZY
2004
Springer
15 years 3 months ago
2004
Springer
56
Voted
TIME
2003
IEEE
15 years 2 months ago
2003
IEEE
ICDT
2007
ACM
15 years 3 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...
TCS
2002
14 years 9 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...