Sciweavers

500 search results - page 12 / 100
» Streaming tree automata
Sort
View
DBPL
2005
Springer
93views Database» more  DBPL 2005»
15 years 11 months ago
Minimizing Tree Automata for Unranked Trees
Wim Martens, Joachim Niehren
CSL
2007
Springer
15 years 9 months ago
MSO on the Infinite Binary Tree: Choice and Order
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...
Arnaud Carayol, Christof Löding