Reverse Mathematics and Recursive Graph Theory

William I. Gasarch, Jeffry L. Hirst. Reverse Mathematics and Recursive Graph Theory. Math. Log. Q., 44:465-473, 1998.

@article{GasarchH98,
  title = {Reverse Mathematics and Recursive Graph Theory},
  author = {William I. Gasarch and Jeffry L. Hirst},
  year = {1998},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/GasarchH98},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {44},
  pages = {465-473},
}