Lutz - PDFSEARCH.IO - Document Search Engine

Lutz
Results: 865

#	Item
261	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
262	August 2011; European Science Editing Add to Reading List Source URL: www.lutz-bornmann.de Language: English - Date: 2011-07-23 13:43:06
263	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
264	Achim Brunnengräber und Lutz Mez Strahlende Hinterlassenschaften aus Produktion und Konsumtion Zur Politischen Ökonomie des Atommülls1 Add to Reading List Source URL: www.prokla.de Language: German - Date: 2014-09-30 05:47:17
265	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
266	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
267	Model-driven Standardization of Public Authority Data Interchange Fabian B¨ uttnera,∗, Ullrich Bartelsb , Lars Hamannc , Oliver Hofrichterc , Mirco Kuhlmannc , Martin Gogollac , Lutz Rabed , Frank Steimked , Yorck Rab Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-04-18 11:02:07
268	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
269	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
270	IP INDUSTRY BASE Dr. Lutz Maicher Competitive Intelligence Städtisches Kaufhaus 9-19, 04109 Leipzig, GERMANY + – 127 Add to Reading List Source URL: www.moez.fraunhofer.de Language: English - Date: 2015-06-23 08:00:25

UPDATE