LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
271	Towards a Functional Formalism for Modelling Complex Industrial Systems S. Bliudze and D. Krob {bliudze, dk}@lix.polytechnique.fr Laboratoire d’Informatique de l’Ecole Polytechnique (LIX) ´ Add to Reading List Source URL: www.bliudze.me Language: English - Date: 2008-10-20 04:16:54
272	On the specification of sequent systems Elaine Pimentel1 and Dale Miller2⋆ 1 Departamento de Matem´ atica, Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-09-29 14:44:48
273	Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-08-02 03:39:16
274	Focusing and Polarization in Intuitionistic Logic Chuck Liang1 and Dale Miller2 1 Department of Computer Science, Hofstra University, Hempstead, NYchuck.liang at hofstra.edu Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-06-15 07:30:42
275	Benoia de BLIGNItRES lix\|litr fr)Itflr\rlh Add to Reading List Source URL: finance.harvest.fr Language: French - Date: 2015-09-24 03:21:41
276	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-06-12 05:07:03
277	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2006-12-15 05:44:29
278	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2008-06-03 00:29:40
279	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-06-15 07:36:39
280	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-09-03 05:39:10

UPDATE