AccueilConnexion

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

Thèmes Cursus Enseignants

     Logique linéaire et paradigmes logiques du calcul

Thème : Logique & Preuve – Cursus : MPRI - M2  

     2006 - 2007  

     Introduction à la Logique Linéaire  

This is the support being used since 1996/1997.
Roberto Di Cosmo  

     Interprétation calculatoire des séquents  

Delia Kesner  

     Logique Linéaire, types et complexité  

Patrick Baillot  

     Recherche de preuve et calcul logique  

Dale Miller  
Accueil Plan du site Contact et proposition de documents : qravs-ng-yvfgrf-qbg-raf-ylba-qbg-se
Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.
Le code source de ce site est placé sous licence GPLv3.