EXPSPACE - PDFSEARCH.IO - Document Search Engine

EXPSPACE
Results: 5

#	Item
1	Lecture 5: Introduction to Complexity TheoryComplexity Theory Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-10-16 13:22:26 Applied mathematics P EXPTIME EXPSPACE L FO 2-EXPTIME Theoretical computer science Computational complexity theory Complexity classes
2	Parameterized Regular Expressions and Their Languages Pablo Barceló1 , Leonid Libkin2 , and Juan L. Reutter2 1 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 14:42:30 Applied mathematics Automata theory EXPSPACE Regular language Regular expression Model theory PSPACE-complete FO Symbol Theoretical computer science Formal languages Complexity classes
3	Parameterized Regular Expressions and Their Languages Pablo Barcel´oa , Juan Reutterb , Leonid Libkinb a Department of Computer Science, University of Chile b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:09:44 Combinatorics Regular language Symbol String EXPSPACE Model theory Structure Regular expression FO Formal languages Theoretical computer science Mathematics
4	Some Results on the Complexity of Planning with Incomplete Information Patrik Haslum and Peter Jonsson Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden fpahas,petejg@ida.l Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:29:17 Applied mathematics EXPSPACE STRIPS PSPACE NP IP PP EXPTIME FO Theoretical computer science Computational complexity theory Complexity classes
5	PDF Document Add to Reading List Source URL: www.informatik.uni-freiburg.de Language: English - Date: 2003-05-27 08:56:44 Applied mathematics EXPSPACE 2-EXPTIME NP Automated planning and scheduling EXPTIME Non-deterministic Turing machine DSPACE Alternating Turing machine Theoretical computer science Computational complexity theory Complexity classes