About: Descriptive complexity and finite models

Documentation

scienceplus.abes.fr version Bêta

scienceplus.abes.fr | explorer

À propos de : Descriptive complexity and finite models Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	Concept
rdfs:seeAlso	Finite structures
skos:inScheme	MSC 2010
broader concept	Theory of computing
skos:prefLabel	ComplessitÃ¡ descrittiva e modelli finiti Descriptive complexity and finite models 描述复杂性和有限模型
skos:exactMatch	http://msc2010.org/resources/MSC/2000/68Q19
skos:altLabel	ComplessitÃ¡ descrittiva e modelli finiti [Vedi anche 03C13] Descriptive complexity and finite models [See also 03C13] 描述复杂性和有限模型[参见03C13]
http://msc2010.org...0/msc2010#seeAlso	Finite structures
skos:notation	68Q19
skos:note	See also 03C13.
skos:semanticRelation	Finite structures
is rdfs:seeAlso of	Finite structures Complexity classes (hierarchies, relations among complexity classes, etc.)
is Subject of	Note on the Succinctness of Deterministic, Nondeterministic, Probabilistic and Quantum Finite Automata Series which are both max-plus and min-plus rational are unambiguous Inf-datalog, Modal Logic and Complexities Quantum finite automata with control language State complexity of cyclic shift Note on the complexity of Las Vegas automata problems Kleene closure and state complexity Deterministic blow-ups of minimal NFA's An upper bound for transforming self-verifying automata into deterministic ones Consensual languages and matching finite-state computations Computing the jth solution of a first-order query Lower Bounds for Las Vegas Automata by Information Theory On the Size of One-way Quantum Finite Automata with Periodic Behaviors The complexity of weakly recognizing morphisms The complexity of concatenation on deterministic and alternating finite automata
is narrower concept of	Theory of computing
is http://msc2010.org...0/msc2010#seeAlso of	Finite structures Complexity classes (hierarchies, relations among complexity classes, etc.)
is skos:semanticRelation of	Finite structures Complexity classes (hierarchies, relations among complexity classes, etc.)

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata