Sciweavers

500 search results - page 12 / 100
» Streaming tree automata
Sort
View
DBPL
2005
Springer
93views Database» more  DBPL 2005»
15 years 7 months ago
Minimizing Tree Automata for Unranked Trees
Wim Martens, Joachim Niehren
CSL
2007
Springer
15 years 5 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