<--- Back to Details
First PageDocument Content
Applied mathematics / Crossing number / NP / Existential theory of the reals / Intersection graph / EXPTIME / P versus NP problem / Graph isomorphism problem / Theoretical computer science / Computational complexity theory / Complexity classes
Date: 2010-08-20 13:53:08
Applied mathematics
Crossing number
NP
Existential theory of the reals
Intersection graph
EXPTIME
P versus NP problem
Graph isomorphism problem
Theoretical computer science
Computational complexity theory
Complexity classes

Add to Reading List

Source URL: ovid.cs.depaul.edu

Download Document from Source Website

File Size: 147,33 KB

Share Document on Facebook

Similar Documents

Applied mathematics / Crossing number / NP / Existential theory of the reals / Intersection graph / EXPTIME / P versus NP problem / Graph isomorphism problem / Theoretical computer science / Computational complexity theory / Complexity classes

PDF Document

DocID: 12xU - View Document

Model theory / Real algebraic geometry / Guggenheim Fellows / Proof theory / Metalogic / Alfred Tarski / Presburger arithmetic / Existential theory of the reals / Quantifier elimination / Logic / Mathematical logic / Mathematics

PDF Document

DocID: 11ro - View Document