52 citations · 114 across the 22 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.FL2015
Index problems for game automata
Alessandro Facchini, Filip Murlak, Michał Skrzypczak
For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognize this language with a non-deterministic, alternating, or weak…
cs.LO2015★ 3 cited
Containment for Conditional Tree Patterns
Alessandro Facchini, Yoichi Hirai, Maarten Marx +1
A Conditional Tree Pattern (CTP) expands an XML tree pattern with labels attached to the descendant edges. These labels can be XML element names or Boolean CTPs. The meaning of a d…