Publication:4519749

zbMath1009.68052MaRDI QIDQ4519749

Argimiro A. Arratia

Publication date: 4 December 2000

zbMATH Keywords

computational complexity; satisfiability problem; finite model theory; complexity classes; P and NP and PSPACE

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)

03D75: Abstract and axiomatic computability and recursion theory