LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
311	June 27, 2006 — Lecture notes for ESSLLI’06, Malaga, Spain Proof Nets and the Identity of Proofs Lutz Straßburger INRIA-Futurs — Projet Parsifal ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2006-06-27 10:19:42
312	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Lutz Straßburger N° 6013 October 2006 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-01-19 08:29:27
313	Extension without Cut Lutz Straßburger ´ INRIA Saclay–ˆ Ile-de-France and Ecole Polytechnique, LIX, Rue de Saclay, 91128 Palaiseau Cedex, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-07-31 06:58:14
314	LIX PRENACIONAL DEPORTIVOS DE LOS INSTITUTOS TECNOLÓGICOS/I.T. DE MINATITLÁN RESULTADOS DEPORTES DE CONJUNTO 5 DE MAYO DE 2015 BEISBOL FECHA Add to Reading List Source URL: www.itmina.edu.mx Language: German - Date: 2015-05-05 23:32:54
315	September 12, 2008 — Submitted to Trends in Logic VI The Logic BV and Quantum Causality Rick Blute Prakash Panangaden Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-03-12 09:58:11
316	May 15, 2014 — Final version for proceedings of CSL-LICS 2014, extended with a 2-page appendix Symmetric Normalisation for Intuitionistic Logic Nicolas Guenot Lutz Straßburger Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-20 13:23:34
317	A type checking algorithm for qualified session types Marco Giunti ´ INRIA & LIX, Ecole Add to Reading List Source URL: rap.dsi.unifi.it Language: English - Date: 2011-06-09 13:02:30
318	Towards a Theory of Proofs of Classical Logic ` diriger des recherches Habilitation a Universit´e Denis Diderot – Paris 7 Add to Reading List Source URL: www.lix.polytechnique.fr Language: French - Date: 2010-12-06 10:05:17
319	Workshop on “Classical Logic and Computation” — July 15, 2006 — Venice, Italy What could a Boolean category be? Lutz Straßburger INRIA Futurs, Projet Parsifal ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2006-06-21 06:17:28
320	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLIDeep Inference for Hybrid Logic Lutz Straßburger INRIA Futurs, Projet Parsifal ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27

UPDATE