Skip to topic | Skip to bottom
Home
Linfo
Linfo.Sourcesr1.6 - 02 May 2005 - 13:31 - EspenelCelinetopic end

Start of topic | Skip to actions

Sources

Cours de concurrence de l'année 2003-2004 et 2004-2005 de M Dalle et Mme Baude à l'université de Nice en licence informatique.

TE sur la Logique lineaire de Espenel Celine,Julien Nicolas

Lors de l'année précédente, j'ai pu découvrir le monde de la logique linéaire.Cette article n'est ni pertinent ni complet mais c'est une premiere rencontre avec ce domaine.

Cours de M Jean Yves Girard http://iml.univ-mrs.fr/~girard/Articles.html
exposé de M Emmanuel Beffara http://www.pps.jussieu.fr/~beffara/

"Light linear logic" de M Jean Yves Girard
Nombres de thèses s'appuient sur ce document. Il faut dire que la logique linéaire a un vocabulaire extremement riche et ce document comme sont titre l'indique n'en présente que quelques aspects qui pour une premiere approche se suffisent à eux mêmes. Celà dit se document reste peut accessible.

page wikipedia http://en.wikipedia.org/wiki/Linear_logic

http://www-lipn.univ-paris13.fr/~baillot/SLIDES/mpri0205.pdf Logique lineaire et complexite polynomiale doc à oublier

http://www.labri.fr/Perso/~retore/ARTICLES/slides.pdf

http://www.labri.fr/Perso/~retore/ARTICLES/hdr_letter.pdf

Logique linéaire en syntaxe des langages

http://retore.chez.tiscali.fr/boulot/CV/recherche.pdf recherche.pdf

http://www.laas.fr/~chezalvi/sts.ppt sts.ppt Même si la logique linéaire ne donne pas de notion de temps, il est interressant de voire comment l'on pourrait l'exprimer. Dans le document "Caracterisation temporelle de scénarios de réseaux de Petri e utilisant la logique linéaire" écrit par Robert Valette et Brigitte Pradin-Chezalviel nous voyons un système assez simple de synchronisation.En effet, ils introduisent une nouvelle variable qui permettra l'enchainement des évènements.\

http://www.cs.bham.ac.uk/research/conferences/esslli/notes/retore/part1.pdf http://www.cs.bham.ac.uk/research/conferences/esslli/notes/retore/part2.pdf

slides_seminaires/lpc-slides.pdf logique de la programmation concurrente Ce document est celui le plus proche est le plus accessible de tous. Il présente les interrets de la logique linéaire par rapport aux autres. Page en construction

-- BenychouSabrina - 08 Apr 2005


to top

I Attachment sort Action Size Date Who Comment
expose.pdf manage 293.7 K 15 Apr 2005 - 09:59 BenychouSabrina  
CelineEspenel-NicolasJulien.pdf manage 119.7 K 26 Apr 2005 - 08:26 EspenelCeline TE de l'année précédente...
logiquelineaire.ppt manage 216.0 K 26 Apr 2005 - 08:29 EspenelCeline Diapositives du TE de l'année dernière

You are here: Linfo > JournauxDeBord > GestionDesRessources > Sources

to top

Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding WIKIDeptinfo? Send feedback