FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Logique linéaire »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Logique intuitionniste < Logique linéaire < Logique linéaire bornée  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000026 (2013) Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France]Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
000285 (2008) Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France]A Logical Account of PSPACE
000442 (2005) Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]Truly on-the-fly LTL model checking
000559 (2004) Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France]Vector addition tree automata
000567 (2004) Patrick Baillot [France]Stratified coherence spaces: a denotational semantics for light linear logic
000568 (2004) Yves Lafont [France]Soft linear logic and polynomial time
000673 (2003) René David [France] ; Bruno Guillaume [France]Strong normalization of the typed λws-calculus
000693 (2003) Lutz Strassburger [France]MELL in the calculus of structures
000717 (2003) D. Galmiche [France] ; J.-M. Notin [France]Connection-based proof construction in non-commutative logic
000818 (2002) Didier Galmiche [France] ; Daniel Mery [France]Connection-based proof search in propositional BI logic
000875 (2001) Philippe De Groote [France]Towards abstract categorial grammars
000901 (2001) Guy Perrier [France]Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions
000975 (2000) Philippe De Groote [France]Proof-search in implicative linear logic as a matching problem
000A05 (2000) I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis]Efficient resource management for linear logic proof search
000A16 (2000) D. Galmiche [France]Connection methods in linear logic and proof nets construction
000C36 (1997) D. Bechet [France] ; P. De Groote [France]Constructing different phonological bracketings from a proof net
000C38 (1997) J.-Y. Marion [France]Case study : Additive linear logic and lattices
000C66 (1996) C. Retore [France]Calcul de Lambek et logique linéaire
000C67 (1996) G. Perrier [France]CPL : un modèle logique du calcul parallèle

List of associated Author.i

Nombre de
documents		Descripteur
3Philippe De Groote
2Bruno Guillaume
2D. Galmiche
1Alexander Knapp
1C. Retore
1D. Bechet
1Daniel Mery
1Didier Galmiche
1F. Pfenning
1G. Perrier
1Guy Perrier
1I. Cervesato
1J. S. Hodas
1J.-M. Notin
1J.-Y. Marion
1Jean-Yves Marion
1Kamel Barkaoui
1Lutz Strassburger
1Marco Gaboardi
1Moritz Hammer
1P. De Groote
1Patrick Baillot
1René David
1Simona Ronchi Della Rocca
1Stephan Merz
1Sylvain Salvati
1Yves Lafont
1Zohra Sbaï

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Logique linéaire" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Logique linéaire" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Logique linéaire
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022