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 « Programmation logique »
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.
Programmation linéaire < Programmation logique < Programmation mathématique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000A67 (2002) Michael Ley [Allemagne]The DBLP Computer Science bibliography: Evolution, research issues, perspectives
000C85 (2000) V. Arvind [Inde] ; J. Köbler [Allemagne] ; M. Mundhenk [Allemagne] ; J. Toran [Allemagne]Nondeterministic instance complexity and hard-to-prove tautologies
000C90 (2000) H. Seidl [Allemagne] ; C. FechtInterprocedural analyses: a comparison
000D09 (2000) H. Seidl [Allemagne] ; B. Steffen [Allemagne]Constraint-based inter-procedural analysis of parallel programs
000D74 (1999) H. Seidl [Allemagne] ; A. Neumann [Allemagne]On guarding nested fixpoints
000E19 (1999) C. Fecht [Allemagne] ; H. Seidl [Allemagne]A faster solver for general systems of equations
000E70 (1998) C. Fecht [Allemagne] ; H. Seidl [Allemagne]Propagating differences : An efficient new fixpoint algorithm for distributive constraint systems
000E81 (1998) S. Jukna [Allemagne, Lituanie] ; S. Zak [République tchèque]On branching programs with bounded uncertainty
001582 (1990) M. Ley ; B. WalterDer LILOG-DB-Fact-Manager : Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte

List of associated Author.i

Nombre de
documents		Descripteur
5H. Seidl
3C. Fecht
1A. Neumann
1B. Steffen
1B. Walter
1J. Köbler
1J. Toran
1M. Ley
1M. Mundhenk
1Michael Ley
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 "Programmation logique" 

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