Sciweavers

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