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 « Preuve programme »
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.
Preuve logique < Preuve programme < Preuve uniforme  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000304 (2007) MOHAMED SALAH BOUASSIDA [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France]Automated Verification of a Key Management Architecture for Hierarchical Group Protocols : Sécurité des réseaux et des systèmes d'information
000567 (2004) Patrick Baillot [France]Stratified coherence spaces: a denotational semantics for light linear logic
000574 (2004) Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewriting calculus with fixpoints: Untyped and first-order systems
000A66 (1999) D. Galmiche [France] ; D. Larchey-Wendling [France]Structural sharing and efficient proof-search in propositional intuitionistic logic
000A82 (1999) G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]Hol-λσ : An intentional first-order expression of higher-order logic
000B02 (1999) H. Kirchner [France] ; P. D. Mosses [États-Unis]Algebraic specifications, higher-order types, and set-theoretic models
000B09 (1999) P. De Groote [France]A dynamic programming approach to categorical deduction
000C78 (1996) N. Berregeb [France] ; A. Bouhoula [France] ; M. Rusinowitch [France]SPIKE-AC : A system for proofs by induction in associative-commutative theories
000C94 (1996) R. Curien [France] ; Z. Qian ; H. ShiEfficient second-order matching

List of associated Author.i

Nombre de
documents		Descripteur
1A. Bouhoula
1Benjamin Wack
1C. Kirchner
1D. Galmiche
1D. Larchey-Wendling
1G. Dowek
1H. Kirchner
1H. Shi
1Horatiu Cirstea
1Isabelle Chrisment
1Laurent Vigneron
1Luigi Liquori
1M. Rusinowitch
1MOHAMED SALAH BOUASSIDA
1N. Berregeb
1Najah Chridi
1Olivier Festor
1P. D. Mosses
1P. De Groote
1Patrick Baillot
1R. Curien
1T. Hardin
1Z. Qian

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 "Preuve programme" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Preuve programme" \
         | 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é=    Preuve programme
}}
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