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 « Contrainte »
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.
Contraction < Contrainte < Contrainte ensembliste  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000028 (2013) Hyacinthe J. Ramaroson [Madagascar, France] ; Florence Le Ber [France] ; Bertin O. Ramamonjisoa [Madagascar] ; Dominique Herve [France]Treillis de Galois pour la fusion de connaissances spatiales sur des territoires villageois malgaches
000168 (2010) Yannick Chevalier [France] ; Michael Rusinowitch [France]Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
000280 (2008) Yannick Chevalier [France] ; Michael Rusinowitch [France]Hierarchical combination of intruder theories
000369 (2006) Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne]Modular proof systems for partial functions with Evans equality
000395 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
000429 (2005) Olivier Bonami [France] ; Gilles Boye [France] ; Jesse Tseng [France]Sur la grammaire des consonnes latentes
000663 (2003) Cesare Tinelli [États-Unis] ; Christophe Ringeissen [France]Unions of non-disjoint theories and combinations of satisfiability procedures
000757 (2002) Frédéric Landragin [France] ; Susanne Salmon-Alt [France] ; Laurent Romary [France]Ancrage référentiel en situation de dialogue
000903 (2001) Claire Gardent [France] ; Stefan Thater [Allemagne]Generating with a grammar based on tree descriptions: A constraint-based approach
000972 (2000) H. Dubois [France] ; H. Kirchnei [France]Rule Based Programming with constraints and strategies
000B06 (1999) H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France]A methodological view of constraint solving
000B75 (1997) J. Toussaint [France] ; F. Simonot-Lion [France]Vérification formelle de propriétés temporelles d'une application distribuée temps réel
000B76 (1997) L. Vega [France] ; Jean-Pierre Thomesse [France]Vers une caractérisation temporelle de profils de communication

List of associated Author.i

Nombre de
documents		Descripteur
2Michael Rusinowitch
2Yannick Chevalier
1Bertin O. Ramamonjisoa
1C. Kirchner
1Cesare Tinelli
1Christophe Ringeissen
1Claire Gardent
1Dominique Herve
1F. Simonot-Lion
1Florence Le Ber
1Frédéric Landragin
1Gilles Boye
1H. Comon
1H. Dubois
1H. Kirchnei
1Harald Ganzinger
1Henny B. Sipma
1Hyacinthe J. Ramaroson
1J. Toussaint
1J.-P. Jouannaud
1Jean-Pierre Thomesse
1Jesse Tseng
1L. Vega
1Laurent Romary
1M. Dincbas
1Olivier Bonami
1Stefan Thater
1Susanne Salmon-Alt
1TING ZHANG
1Uwe Waldmann
1Viorica Sofronie-Stokkermans
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 "Contrainte" 

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