science
plus
.abes.fr
|
explorer
À propos de :
http://msc2010.org/resources/MSC/2010/fullDD21-511.3
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
Is Part Of
http://dewey.info/class/
http://msc2010.org/resources/MSC/2010/
Date Issued
2011-06-22
http://msc2010.org...010/msc2010#scope
A full code from DD21.
skos:notation
511.3
skos:scopeNote
A full code from DD21.
is
skos:relatedMatch
of
Mathematical logic and foundations
General logic
Model theory
Proof theory and constructive mathematics
Nonstandard models
General algebraic systems
Other classes of algebras
Connections with logic
Connections with logic
Applications of logic to commutative algebra
Applications of logic
Foundations, relations to logic and deductive systems
Foundations
Word problems, other decision problems, connections with logic and automata
Free semigroups, generators and relations, word problems
Miscellaneous topics in measure theory
Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)
Models of computation (Turing machines, etc.)
Complexity classes (hierarchies, relations among complexity classes, etc.)
Semantics
Theorem proving (deduction, resolution, etc.)
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
