The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler

First Page		Document Content
Date: 2009-11-10 10:55:46 Complexity classes Structural complexity theory FO Finite model theory Computational complexity theory IP Homomorphism NP Reduction Symbol P versus NP problem Model theory		The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler Add to Reading List Source URL: www.bedewell.com Download Document from Source Website File Size: 281,57 KB Share Document on Facebook

	The Complexity of Counting and Randomised Approximation Magnus Bordewich New College University of Oxford DocID: 1r1Rx - View Document
	ON THE RANDOM-SELF-REDUCIBILITY OF COMPLETE SETS JOAN FEIGENBAUMy AND LANCE FORTNOWz DocID: 1qYTn - View Document
	Microsoft Word - MS-wccm12 DocID: 1qPof - View Document
	Microsoft Word - fp16-armoni.doc DocID: 1qoBn - View Document
	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary DocID: 1qeXR - View Document