Completeness - PDFSEARCH.IO - Document Search Engine

Completeness
Results: 1797

#	Item
261	Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions∗ Daniele Micciancio Bogdan Warinschi Department of Computer Science and Engineering, University of California, San Diego Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2007-01-08 08:20:29
262	Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka Add to Reading List Source URL: www.ps.uni-saarland.de Language: English - Date: 2014-12-08 05:58:49
263	Hong Kong Exchanges and Clearing Limited and The Stock Exchange of Hong Kong Limited take no responsibility for the contents of this announcement, make no representation as to its accuracy or completeness and expressly d Add to Reading List Source URL: file.cmbchina.com Language: English - Date: 2016-03-30 06:04:36
264	Published in ACM TRANSACTIONS ON ALGORITHMS 1:1, The NP-Completeness Column DAVID S. JOHNSON AT&T Labs – Research, Florham Park, New Jersey Abstract. This is the 24th edition of a column that covers new Add to Reading List Source URL: davidsjohnson.net Language: English - Date: 2013-10-14 12:19:42
265	A Full Characterization of Completeness for Two-party Randomized Function Evaluation Add to Reading List Source URL: ec14.compute.dtu.dk Language: English - Date: 2014-05-16 07:06:08
266	Published in J. ALGORITHMS 2, The NP-Completeness Column: An Ongoing Guide DAVID S. JOHNSON Bell Laboratories, Murray Hill, New Jersey 07974 Add to Reading List Source URL: davidsjohnson.net Language: English - Date: 2013-10-14 12:19:24
267	Published in J. ALGORITHMS 6, The NP-Completeness Column: An Ongoing Guide DAVID S. JOHNSON AT&T Bell Laboratories, Murray Hill, New Jersey 07974 Add to Reading List Source URL: davidsjohnson.net Language: English - Date: 2013-10-14 12:19:29
268	Published in J. ALGORITHMS 5, The NP-Completeness Column: An Ongoing Guide DAVID S. JOHNSON AT&T Bell Laboratories, Murray Hill, New Jersey 07974 Add to Reading List Source URL: davidsjohnson.net Language: English - Date: 2013-10-14 12:19:27
269	On the NP-Completeness of Cryptarithms David Eppstein Computer Science Department Columbia University New York, NYJune 8, 2000 Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-06-09 02:38:14
270	Trivializing sentences and the promise of semantic completeness Jc Beall University of Connecticut, Storrs CT USA University of Tasmania, Hobart TAS AUS entailments.net Add to Reading List Source URL: homepages.uconn.edu Language: English - Date: 2015-09-13 12:13:03

UPDATE