\(m\)-reducibility with upper and lower bounds for reducing functions
From MaRDI portal
Publication:1566445
DOI10.1023/A:1010257414757zbMath1027.03035OpenAlexW157090682MaRDI QIDQ1566445
Publication date: 15 June 2003
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1010257414757
reflexivitytransitivityrecursive setsbranchingbinary relationsrecursive functionsdegrees of undecidabilitybounded \(m\)-reducibilitytotal arithmetic functions
This page was built for publication: \(m\)-reducibility with upper and lower bounds for reducing functions