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 « Procédure décision »
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.
Procédure Nelson Oppen < Procédure décision < Procédé discontinu  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
000122 (2011) Didier Galmiche [France] ; Yakoub Salhi [France]Sequent calculi and decidability for intuitionistic hybrid logic
000135 (2011) Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES
000138 (2011) Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]Automatic decidability and combinability
000168 (2010) Yannick Chevalier [France] ; Michael Rusinowitch [France]Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
000388 (2006) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient theory combination via boolean search
000395 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
000417 (2006) Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis]A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
000732 (2003) Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]A rewriting approach to satisfiability procedures
000879 (2001) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [Italie, France]System description : RDL rewrite and decision procedure laboratory
000A16 (2000) D. Galmiche [France]Connection methods in linear logic and proof nets construction

List of associated Author.i

Nombre de
documents		Descripteur
4Silvio Ranise
2Alessandro Armando
1Alessandro Cimatti
1Cesare Tinelli
1Christophe Ringeissen
1Christopher Lynch
1D. Galmiche
1Didier Galmiche
1Duc-Khanh Tran
1Franz Baader
1Henny B. Sipma
1Luca Compagna
1Marco Bozzano
1Michael Rusinowitch
1Michaël Rusinowitch
1Mouhebeddine Berrima
1Narjes Ben Rajeb
1Peter Van Rossum
1Roberto Bruttomesso
1Roberto Sebastiani
1Silvio Ghilardi
1TING ZHANG
1Tommi Junttila
1Véronique Cortier
1Yakoub Salhi
1Yannick Chevalier
1Zohar Manna

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 "Procédure décision" 

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