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 « Déduction »
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.
Dédoublonnage < Déduction < Déduction automatique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000135 (2011) Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES
000280 (2008) Yannick Chevalier [France] ; Michael Rusinowitch [France]Hierarchical combination of intruder theories
000458 (2005) Tomasz Truderung [France, Pologne]Regular protocols and attacks with regular knowledge
000525 (2005) Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP decision procedure for protocol insecurity with XOR
000578 (2004) Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] ; Moussa Demba [Tunisie]Predicate synthesis from inductive proof attempt of faulty conjectures
000663 (2003) Cesare Tinelli [États-Unis] ; Christophe Ringeissen [France]Unions of non-disjoint theories and combinations of satisfiability procedures
000677 (2003) Olivier Bournez [France] ; Mathieu Hoyrup [France]Rewriting Logic and probabilities
000681 (2003) Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France]Proof search and proof check for equational and inductive theorems
000690 (2003) Christophe Ringeissen [France]Matching in a class of combined non-disjoint theories
000693 (2003) Lutz Strassburger [France]MELL in the calculus of structures
000696 (2003) Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie]Imperative object-based calculi in co-inductive type theories
000729 (2003) Nicolas Biri [France] ; Didier Galmiche [France]A separation logic for resource distribution
000786 (2002) Philippe De Groote [France]On the strong normalisation of intuitionistic natural deduction with permutation-conversions
000969 (2000) A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [France] ; J. Meseguer [États-Unis]Specification and proof in membership equational logic
000999 (2000) C. Ringeissen [France] ; E. Monfroy [Pays-Bas]Generating propagation rules for finite domains : A mixed approach
000A16 (2000) D. Galmiche [France]Connection methods in linear logic and proof nets construction
000C66 (1996) C. Retore [France]Calcul de Lambek et logique linéaire
000C79 (1996) L. Vigneron [France] ; A. Wasilewska [États-Unis]Rough and modal algebras

List of associated Author.i

Nombre de
documents		Descripteur
2Christophe Ringeissen
2Yannick Chevalier
1A. Bouhoula
1A. Wasilewska
1Alberto Ciaffaglione
1C. Retore
1C. Ringeissen
1Cesare Tinelli
1Claude Kirchner
1D. Galmiche
1Didier Galmiche
1E. Monfroy
1Eric Deplagne
1Francis Alexandre
1Hélène Kirchner
1J. Meseguer
1J.-P. Jouannaud
1Khaled Bsaïes
1L. Vigneron
1Luigi Liquori
1Lutz Strassburger
1Marino Miculan
1Mathieu Hoyrup
1Mathieu Turuani
1Michael Rusinowitch
1Michaël Rusinowitch
1Mouhebeddine Berrima
1Moussa Demba
1Narjes Ben Rajeb
1Nicolas Biri
1Olivier Bournez
1Philippe De Groote
1Quang Huy Nguyen
1Ralf Küsters
1Tomasz Truderung
1Véronique Cortier

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 "Déduction" 

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