500 search results - page 12 / 100 » Streaming tree automata |
107
Voted
CAI
2007
Springer
15 years 9 months ago
2007
Springer
133
Voted
DBPL
2005
Springer
15 years 9 months ago
2005
Springer
91
Voted
ACL
2011
14 years 7 months ago
2011
145
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
211
Voted
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE