|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Balder ten Cate, Alessandro Facchini |
Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs.  |
MFCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Duparc, Alessandro Facchini, Filip Murlak |
Definable Operations On Weakly Recognizable Sets of Trees. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Alberucci, Alessandro Facchini |
On Modal µ -Calculus and Gödel-Löb Logic. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
Modal ?-Calculus, Gödel-Löb Logic, Fixpoint |
| 1 | Luca Alberucci, Alessandro Facchini |
The modal µ-calculus hierarchy over restricted classes of transition systems. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jacques Duparc, Alessandro Facchini, Filip Murlak |
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Cabessa, Jacques Duparc, Alessandro Facchini, Filip Murlak |
The Wadge Hierarchy of Max-Regular Languages. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Duparc, Alessandro Facchini |
Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I). |
CiE |
2008 |
DBLP DOI BibTeX RDF |
Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus |
| 1 | Jacques Duparc, Alessandro Facchini |
A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. |
ILC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")