science
plus
.abes.fr
|
explorer
À propos de :
Hierarchies
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
skos:Concept
, within Data Space :
scienceplus.abes.fr
associated with source
document(s)
Type:
Concept
New Facet based on Instances of this Class
Attributs
Valeurs
type
Concept
skos:inScheme
MSC 2010
broader concept
Computability and recursion theory
skos:prefLabel
Gerarchie
Hierarchies
ÐеÑаÑÑ Ð¸Ð¸
谱系
skos:exactMatch
http://msc2010.org/resources/MSC/1991/03D55
http://msc2010.org/resources/MSC/2000/03D55
skos:notation
03D55
is
Subject
of
Wadge Degrees of ω-Languages of Deterministic Turing Machines
Fixpoint alternation: arithmetic, transition systems, and the binary tree
Function operators spanning the arithmetical and the polynomial hierarchy
On the hierarchies of Δ 20-real numbers
Hierarchies of function classes defined by the first-value operator
Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies
On the Topological Complexity of Infinitary Rational Relations
On bi-infinite and conjugate post correspondence problems
Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations
is
narrower concept
of
Computability and recursion theory
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
