3440 search results - page 31 / 688 » Logics For Context-Free Languages |
TIME
2006
IEEE
15 years 8 months ago
2006
IEEE
97
Voted
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
105
Voted
CSL
2008
Springer
15 years 3 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
