Lecture 5: Introduction to Complexity TheoryComplexity Theory

First Page		Document Content
Date: 2014-10-16 13:22:26 Applied mathematics P EXPTIME EXPSPACE L FO 2-EXPTIME Theoretical computer science Computational complexity theory Complexity classes		Lecture 5: Introduction to Complexity TheoryComplexity Theory Add to Reading List Source URL: www.cs.rice.edu Download Document from Source Website File Size: 68,93 KB Share Document on Facebook

	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 1 DocID: 1mxoK - View Document
	Lecture 5: Introduction to Complexity TheoryComplexity Theory DocID: 1b02D - View Document
	IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE arXiv:1402.0705v2 [cs.LO] 25 Sep[removed]SYLVAIN SCHMITZ DocID: WUcp - View Document
	PDF Document DocID: 1isl - View Document