© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic reducibilities inside the degrees of weaker algorithmic ones. Results in this area are reviewed for algorithmic reducibilities m-, 1-, tt-, wtt-, T-, e-, s-, Q-, and we formulate questions that are still not settled for these. A computably enumerable Q-degree which consists of one computably enumerable m-degree is constructed
Abstract. We give an algorithm for deciding whether an embedding of a finite partial order P into th...
We describe all possible relations between certain reducibities of algebraic structures which are ba...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...
In Recursion Theory (Computability Theory), we study Turing degrees in terms of their degree-theoret...
Abstract. We investigate the connections between the complexity of a c.e. set, as calibrated by its ...
114 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2000.We also study connections bet...
114 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2000.We also study connections bet...
Abstract. We give an algorithm for deciding whether an embedding of a finite partial order P into th...
We describe all possible relations between certain reducibities of algebraic structures which are ba...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...
In Recursion Theory (Computability Theory), we study Turing degrees in terms of their degree-theoret...
Abstract. We investigate the connections between the complexity of a c.e. set, as calibrated by its ...
114 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2000.We also study connections bet...
114 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2000.We also study connections bet...
Abstract. We give an algorithm for deciding whether an embedding of a finite partial order P into th...
We describe all possible relations between certain reducibities of algebraic structures which are ba...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...