Switch to: Citations

Add references

You must login to add references.
  1. Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
    We are concerned here with recursive function theory analogs of certain problems in chromatic graph theory. The motivating question for our work is: Does there exist a recursive (countably infinite) planar graph with no recursive 4-coloring? We obtain the following results: There is a 3-colorable, recursive planar graph which, for all k, has no recursive k-coloring; every decidable graph of genus p ≥ 0 has a recursive 2(χ(p) - 1)-coloring, where χ(p) is the least number of colors which will suffice (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • On the complexity of finding the chromatic number of a recursive graph II: the unbounded case.Richard Beigel & William I. Gasarch - 1989 - Annals of Pure and Applied Logic 45 (3):227-246.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Recursive coloration of countable graphs.Hans-Georg Carstens & Peter Päppinghaus - 1983 - Annals of Pure and Applied Logic 25 (1):19-45.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Nondeterministic bounded query reducibilities.Richard Beigel, William Gasarch & Jim Owings - 1989 - Annals of Pure and Applied Logic 41 (2):107-118.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A cardinality version of biegel's nonspeedup theorem.James C. Owings - 1989 - Journal of Symbolic Logic 54 (3):761-767.
    If S is a finite set, let |S| be the cardinality of S. We show that if $m \in \omega, A \subseteq \omega, B \subseteq \omega$ , and |{i: 1 ≤ i ≤ 2 m & x i ∈ A}| can be computed by an algorithm which, for all x 1 ,...,x 2 m , makes at most m queries to B, then A is recursive in the halting set K. If m = 1, we show that A is recursive.
    Download  
     
    Export citation  
     
    Bookmark   1 citation