About: Descriptive Complexity

An Entity of Type: work, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

1999 book by Neil Immerman

Property	Value
dbo:author	dbr:Neil_Immerman
dbo:description	1999 book by Neil Immerman (en)
dbo:publisher	dbr:Springer_Science+Business_Media
dbo:wikiPageWikiLink	dbr:Model_checking dbr:NL_(complexity) dbc:Mathematics_books dbr:Immerman–Szelepcsényi_theorem dbr:First-order_logic dbr:NP_(complexity) dbr:Cook–Levin_theorem dbr:PSPACE dbr:Polynomial_hierarchy dbr:Formal_language dbr:Transitive_closure dbr:Descriptive_complexity_theory dbr:FO_(complexity) dbr:Circuit_complexity dbr:L_(complexity) dbr:Ehrenfeucht–Fraïssé_game dbr:First-order_arithmetic dbr:Database dbr:Complete_(complexity) dbr:Least_fixed_point dbr:Neil_Immerman dbr:Computational_complexity_theory dbr:Mathematical_logic dbr:Complexity_class dbr:P_(complexity) dbc:1999_non-fiction_books dbr:Fagin's_theorem dbc:Descriptive_complexity dbr:Second-order_logic dbr:Switching_lemma dbr:BIT_predicate dbr:Parallel_random-access_machine dbr:Springer-Verlag dbr:NP-complete
dbp:author	dbr:Neil_Immerman
dbp:pubDate	1999 (xsd:integer)
dbp:publisher	dbr:Springer_Science+Business_Media
dbp:series	Graduate Texts in Computer Science (en)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Infobox_book dbt:R dbt:About dbt:Italic_title dbt:Short_description
dc:publisher	Springer-Verlag
dct:subject	dbc:Mathematics_books dbc:1999_non-fiction_books dbc:Descriptive_complexity
rdf:type	owl:Thing bibo:Book wikidata:Q234460 wikidata:Q386724 wikidata:Q571 dbo:Book dbo:Work dbo:WrittenWork schema:Book schema:CreativeWork
rdfs:label	Descriptive Complexity (en)
owl:sameAs	wikidata:Descriptive Complexity dbpedia-global:Descriptive Complexity dbr:Descriptive Complexity
prov:wasDerivedFrom	wikipedia-en:Descriptive_Complexity?oldid=1275452523&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Descriptive_Complexity
is dbo:wikiPageWikiLink of	dbr:Least_fixed_point dbr:Neil_Immerman dbr:P_(complexity) dbr:Finite_model_theory dbr:Random-access_Turing_machine
is foaf:primaryTopic of	wikipedia-en:Descriptive_Complexity