The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University,

First Page		Document Content
Date: 2010-06-03 07:34:14 Computational complexity theory Complexity classes Theory of computation FO PSPACE IP NP P Reduction Homomorphism SO		The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University, Add to Reading List Source URL: www.bedewell.com Download Document from Source Website File Size: 230,66 KB Share Document on Facebook

	TOWARDS A SOCIOLOGY OF HARM REDUCTION: A COMPARATIVE STUDY OF DRUG POLICY CHANGE IN CANADA AND THE UNITED KINGDOM BETWEEN THE YEARS 1985 AND 2017 by DocID: 1xVT2 - View Document
	IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol DocID: 1xVRx - View Document
	Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science DocID: 1xVun - View Document
	Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order DocID: 1xVg7 - View Document
	Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices Shi Bai1 , Damien Stehl´e1 and Weiqiang Wen1 1 DocID: 1xUq5 - View Document