The computational strength of matchings in countable graphs
From MaRDI portal
Publication:6343310
DOI10.1016/J.APAL.2022.103133arXiv2006.11334WikidataQ114202053 ScholiaQ114202053MaRDI QIDQ6343310
Stephen Flood, Matthew Jura, Oscar Levin, Tyler Markkanen
Publication date: 19 June 2020
Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Computability and recursion theory (03D99) Recursive ordinals and ordinal notations (03F15)
This page was built for publication: The computational strength of matchings in countable graphs