Descriptive complexity theory - PDFSEARCH.IO - Document Search Engine

Descriptive complexity theory
Results: 78

#	Item
1	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-09-17 16:23:24 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
2	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-09-09 04:58:26 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
3	Introduction & Motivation Relations and Operations Boolean and 3-element cases Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-08-14 00:50:42 Computational complexity theory Complexity classes Theory of computation FO PSPACE SO P EXPTIME Boolean algebra Co-NP-complete Reduction Descriptive complexity theory
4	CPSC Combinatorial Auc4ons, Con4nued… Shaili Jain September 29, 2011 Combinatorial Auc4on Model Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2011-10-03 03:00:31 Descriptive complexity Query Auction theory Game theory Auctions Database theory
5	Exotlst_details_4_21_04.xls Add to Reading List Source URL: www.esd.ornl.gov Language: English - Date: 2004-05-26 15:21:32 Finite model theory Plant taxonomy Computational complexity theory Descriptive complexity Plant reproduction FO Monocotyledon Dicotyledon Seed SO Plant stem HO
6	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic II: the four-element case Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-08-24 16:58:08 Complexity classes Finite model theory Computational complexity theory Descriptive complexity Structural complexity theory FO SO P versus NP problem NP P Reduction HO
7	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-09-09 14:15:56 Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO
8	On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Ulrich Kohlenbach BRICSy Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:32:59 Complexity classes Computability theory Effective descriptive set theory Arithmetical hierarchy Hierarchy FO
9	On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2015-06-14 08:17:32 Finite model theory Descriptive complexity Computational complexity theory FO Constraint programming Constraint satisfaction problem Conjunctive query SO HO Theoretical computer science Applied mathematics Complexity classes
10	Reports – Saving Queries Saving Queries In this section we look at a few more advanced query techniques. We begin by going to the Reports menu and selecting the Transaction Query. A few functions that need to be expla Add to Reading List Source URL: www.easybillingsoftware.com Language: English - Date: 2013-02-08 19:38:18 Relational database management systems Information Data management SQL Database theory Database management systems Descriptive complexity Query Information science