3319 search results - page 10 / 664 » Subshifts, Languages and Logic |
TIME
2006
IEEE
15 years 4 months ago
2006
IEEE
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
CSL
2008
Springer
15 years 2 days 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 7 months ago
2010
Springer
