First Page | Document Content | |
---|---|---|
Date: 2009-08-14 00:50:42Computational complexity theory Complexity classes Theory of computation FO PSPACE SO P EXPTIME Boolean algebra Co-NP-complete Reduction Descriptive complexity theory | Introduction & Motivation Relations and Operations Boolean and 3-element casesAdd to Reading ListSource URL: www.bedewell.comDownload Document from Source WebsiteFile Size: 514,13 KBShare Document on Facebook |
Introduction & Motivation Relations and Operations Boolean and 3-element casesDocID: 1qCnb - View Document | |
An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ Linh Anh Nguyen1,2 and Joanna Goli´ nska-Pilarek3 1DocID: 1mxoK - View Document | |
PDF DocumentDocID: 1iFYu - View Document | |
Deciding k CFA is complete for EXPTIME ∗ David Van Horn Harry G. Mairson Brandeis UniversityDocID: 1eiBE - View Document | |
Lecture 5: Introduction to Complexity TheoryComplexity TheoryDocID: 1b02D - View Document |