Switch to: References

Add citations

You must login to add citations.
  1. Some natural decision problems in automatic graphs.Dietrich Kuske & Markus Lohrey - 2010 - Journal of Symbolic Logic 75 (2):678-710.
    For automatic and recursive graphs, we investigate the following problems: (A) existence of a Hamiltonian path and existence of an infinite path in a tree (B) existence of an Euler path, bounding the number of ends, and bounding the number of infinite branches in a tree (C) existence of an infinite clique and an infinite version of set cover The complexity of these problems is determined for automatic graphs and, supplementing results from the literature, for recursive graphs. Our results show (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tree-automatic well-founded trees.Alexander Kartzow, Jiamou Liu & Markus Lohrey - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 363--373.