|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexander Kartzow, Jiamou Liu, Markus Lohrey |
Tree-Automatic Well-Founded Trees  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
Finite Automata over Structures - (Extended Abstract). |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiamou Liu, Mia Minnes |
Deciding the isomorphism problem in classes of unary automatic structures. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
Efficient Algorithms for Games Played on Trees with Back-edges. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Khaliq, Bakhadyr Khoussainov, Jiamou Liu |
Extracting Winning Strategies in Update Games. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem On Classes of Automatic Structures |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem for omega-Automatic Trees |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem on Classes of Automatic Structures. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
automatic structures, arithmetical hierarchy, isomorphism problems |
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem for omega-Automatic Trees. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes |
Unary automatic graphs: an algorithmic perspective. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu |
On complexity of Ehrenfeucht-Fraïssé games. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiamou Liu, Mia Minnes |
Analysing Complexity in Classes of Unary Automatic Structures. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu, Imran Khaliq |
A Dynamic Algorithm for Reachability Games Played on Trees. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes |
Unary Automatic Graphs: An Algorithmic Perspective. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu |
Computable Categoricity of Graphs with Finite Components. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Jiamou Liu |
On Complexity of Ehrenfeucht-Fraïssé Games. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")