LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
331	A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, Ecole Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-05-29 10:26:59
332	Cut elimination for Zermelo set theory Gilles Dowek1 and Alexandre Miquel2 1 ´ Ecole polytechnique and INRIA ´ LIX, Ecole polytechnique, 91128 Palaiseau Cedex, France Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:47
333	Proof Search Specifications of Bisimulation and Modal Logics for the π-calculus Alwen Tiu Logic and Computation Group College of Engineering and Computer Science The Australian National University Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-02-16 11:47:52
334	ECONOMIC ANNALS, Volume LIX, NoJuly – September 2014 UDC: 3.33 ISSN: DOI:EKA1402043P Slavica Penev* Matija Rojec Add to Reading List Source URL: www.ekof.bg.ac.rs Language: English - Date: 2014-12-12 07:51:44**
335	Emerging Trends in Visual Computing (ETVC’08) LIX Colloquium 2008 October 13, 2008 Leonidas GUIBAS Computer Science Department, Stanford University, USA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2008-11-05 11:19:30
336	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
337	The Bedwyr system for model checking over syntactic expressions David Baelde1 , Andrew Gacek2 , Dale Miller1 , Gopalan Nadathur2 , and Alwen Tiu3 ´ INRIA & LIX, Ecole Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-11 03:02:25
338	Under consideration for publication in Math. Struct. in Comp. Science A System of Interaction and Structure V: The Exponentials and Splitting Alessio Guglielmi1† and Lutz Straßburger2‡ 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-12-07 09:58:41
339	lix Ka 3. Sangisälvens avrinningsområde % U Add to Reading List Source URL: www.vattenmyndigheterna.se Language: Swedish - Date: 2012-12-20 08:01:12
340	December 17, 2008 — Final version for proceedings of LATA’09 A Kleene Theorem for Forest Languages Lutz Straßburger ´ INRIA Saclay – ˆIle-de-France — Equipe-projet Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2008-12-17 06:16:33

UPDATE