3319 search results - page 10 / 664 » Subshifts, Languages and Logic |
TIME
2006
IEEE
14 years 1 months ago
2006
IEEE
AGP
2003
IEEE
14 years 25 days ago
2003
IEEE
CSL
2008
Springer
13 years 9 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
14 years 4 months ago
2010
Springer
POPL
2009
ACM
14 years 8 months ago
2009
ACM
