|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Florent Jacquemard, Francis Klay, Camille Vacher |
Rigid tree automata and applications.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher |
The Emptiness Problem for Tree Automata with Global Constraints.  |
LICS  |
2010 |
DBLP DOI BibTeX RDF |
Symbolic Constraint Solving, Tree Automata, Monadic Second Order Logic, XML Processing |
| 1 | Florent Jacquemard, Francis Klay, Camille Vacher |
Rigid Tree Automata.  |
LATA  |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|