linear lists < linear logic < linear models

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 51.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
001799 (1995)	G. Perrier	Concurrent Programming in Linear Logic
001874 (1995)	P. De Groote	Linear Logic with Isabelle : Pruning the Proof Search Tree
001891 (1995)	G. Perrier	CPL : un modèle logique du calcul parallèle
001A64 (1995)	D. Galmiche ; J.-Y. Marion	Semantic Proof Search Methods for {ALL} - A First Approach -
001A65 (1995)	D. Galmiche ; J.-Y. Marion	Dealing with Additives in {MALL} Proof Search
001A66 (1995)	D. Galmiche ; E. Boudinet	Nets, Proofs and Concurrent Object Programming in Full Intuitionistic Linear Logic
001A67 (1995)	D. Galmiche	Proof Theory and Programming
001A68 (1995)	G. Perrier	A Model of Concurrency based on Linear Logic
001D71 (1997)	Didier Galmiche ; Raphaël Couturier	Guarded Commands and Proofs in Linear Logic
001E40 (1997)	Guy Perrier	A Decidable Fragment of Second Order Linear Logic
001E41 (1997)	Guy Perrier	A decidable fragment of Second Order Linear Logic
002026 (1997)	Denis Bechet ; Philippe De Groote	Constructing different phonological bracketings from a proof net
002027 (1997)	Philippe De Groote	An algebraic correctness criterion for intuitionistic proof-nets
002035 (1997)	Alain Lecomte ; Christian Retoré	Logique des ressources et réseaux syntaxiques
002140 (1998)	Guy Perrier	Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic''
002256 (1998)	François Lamarche ; Christian Retoré	Proof Nets for the Lambek Calculus - an overview
002350 (1998)	Guy Perrier	Concurrent Programming as Proof Net Construction
002359 (1998)	Philippe De Groote ; Guy Perrier	A note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''
002402 (1998)	Didier Galmiche ; Vincent Balat	Proof Systems for Intuitionistic Provability in Linear Logic
002403 (1998)	Didier Galmiche ; Dominique Larchey-Wendling	From ordered monoids to quantales and Petri nets : completeness results revisited in Intuitionistic Linear Logic
002479 (1999)	Guy Perrier	A PSPACE-complete fragment of second-order linear logic

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i -k "linear logic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "linear logic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    linear logic
}}

---

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