Descriptive complexity - PDFSEARCH.IO - Document Search Engine

Descriptive complexity
Results: 93

#	Item
1	Abstract This dissertation examines various problems in descriptive complexity, the discipline of classifying problems based on how difficult it is just to state them in some formal framework. The first part regards inte Add to Reading List Source URL: www.radford.edu - Date: 2006-02-20 15:59:13
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: 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
3	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
4	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
5	Instructions for Writing Queries for Connecticut Genealogy News The purpose of a query is to bring together those members who are interested in the same line of ancejtry. When two members make contact as a result of quer Add to Reading List Source URL: csginc.org Language: English - Date: 2014-03-29 16:53:59 Descriptive complexity Query Abbreviation Hartford Connecticut
6	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
7	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
8	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
9	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
10	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