Guy Louchard < Guy Perrier < Guy-Marie Côme

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
002580 (1997)	Guy Perrier	A decidable fragment of Second Order Linear Logic
002818 (1997)	Guy Perrier	A Decidable Fragment of Second Order Linear Logic
002863 (1996)	Guy Perrier	CPL : un modèle logique du calcul parallèle
002931 (1996)	Guy Perrier	Concurrent Programming as Proof Net Construction

---

List of associated KwdEn.i

Nombre de documents	Descripteur
11	linear logic
5	computational linguistics
4	proof theory
3	grammatical formalisms
3	polarities
2	Concurrency
2	Concurrent programming
2	Linear logic
2	Logic programming
2	Process algebras
2	categorial grammar
2	formal grammar
2	formal semantics
2	grammatical formalism
2	natural language syntax
2	proof nets
1	Process calculus
1	Proof nets
1	automated deduction
1	categorial grammars
1	computational lingusitics
1	concurrency
1	formal grammars
1	lexical disambiguation
1	lexicon
1	linguistic formalism
1	natural language processing
1	parsing
1	process calculus
1	proof net
1	semantics
1	semantics of natural languages
1	synchronous communication
1	syntax
1	syntax of natural languages
1	theorem proving
1	tree description
1	unification grammars

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Guy Perrier" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Guy Perrier" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Guy Perrier
}}

---

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