FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Complexité 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.
Complexité espace < Complexité programme < Complexité temps  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
000C85 (2000) V. Arvind [Inde] ; J. Köbler [Allemagne] ; M. Mundhenk [Allemagne] ; J. Toran [Allemagne]Nondeterministic instance complexity and hard-to-prove tautologies
000D74 (1999) H. Seidl [Allemagne] ; A. Neumann [Allemagne]On guarding nested fixpoints
000E81 (1998) S. Jukna [Allemagne, Lituanie] ; S. Zak [République tchèque]On branching programs with bounded uncertainty

List of associated Author.i

Nombre de
documents		Descripteur
1A. Neumann
1H. Seidl
1J. Köbler
1J. Toran
1M. Mundhenk
1S. Jukna
1S. Zak
1V. Arvind

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Complexité programme" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Complexité 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/Rhénanie
   |area=    UnivTrevesV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Complexité programme
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024