 | 2011 |
|---|
| 8 |       | Jacques Duparc,
Alessandro Facchini,
Filip Murlak:
Definable Operations On Weakly Recognizable Sets of Trees.
FSTTCS 2011: 363-374 |
| 7 | | Balder ten Cate,
Alessandro Facchini:
Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs.
MFCS 2011: 290-302 |
| 2009 |
|---|
| 6 | | Jacques Duparc,
Alessandro Facchini,
Filip Murlak:
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata.
CSL 2009: 225-239 |
| 5 | | Jérémie Cabessa,
Jacques Duparc,
Alessandro Facchini,
Filip Murlak:
The Wadge Hierarchy of Max-Regular Languages.
FSTTCS 2009: 121-132 |
| 4 | | Luca Alberucci,
Alessandro Facchini:
The modal µ-calculus hierarchy over restricted classes of transition systems.
J. Symb. Log. 74(4): 1367-1400 (2009) |
| 3 | | Luca Alberucci,
Alessandro Facchini:
On Modal µ -Calculus and Gödel-Löb Logic.
Studia Logica 91(2): 145-169 (2009) |
| 2008 |
|---|
| 2 | | Jacques Duparc,
Alessandro Facchini:
Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I).
CiE 2008: 186-195 |
| 2007 |
|---|
| 1 | | Jacques Duparc,
Alessandro Facchini:
A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata.
ILC 2007: 46-55 |
Data released under the ODC-BY 1.0 license — See also our legal information page