LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
321	A Predictive Differentially-Private Mechanism for Mobility Traces. Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Marco Stronati CNRS, INRIA, LIX Ecole Polytechnique Abstract. With the increasing popularity of Add to Reading List Source URL: www.petsymposium.org Language: English - Date: 2014-06-27 07:04:35
322	Under consideration for publication in Math. Struct. in Comp. Science Proof nets and semi-⋆-autonomous categories Willem Heijltjes1 and Lutz Straßburger2 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-09 06:18:26
323	UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING Dale Miller Gopalan Nadathur Frank Pfenning Andre Scedrov Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:28
324	NELbig-decomposition-final.dvi Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-28 03:35:28
325	Introduction to Proof Theory Lecture notes for ESSLLI’10 August 9–20, 2010, University of Copenhagen, Denmark Lutz Straßburger INRIA Saclay – ˆIle-de-France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-08-11 02:27:08
326	Label-free Modular Systems for Classical and Intuitionistic Modal Logics Sonia Marin ENS, Paris, France Lutz Straßburger Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-06-06 17:03:16
327	LIX EVENTO PRENACIONAL DEPORTIVO DE LOS INSTITUTOS TECNOLOGICOS MINATITLAN, VER. Resultados Completos del día 5 de mayo de 2015 Prueba 3 Add to Reading List Source URL: www.itmina.edu.mx Language: Spanish - Date: 2015-05-05 23:12:55
328	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 08:12:42
329	April 29, 2010 — Final version for proceedings of LICS’10 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-29 08:06:06
330	Under consideration for publication in Math. Struct. in Comp. Science Proof nets and semi-⋆-autonomous categories Willem Heijltjes1 and Lutz Straßburger2 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-09 06:18:26

UPDATE