AffRegion.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « AffRegion.i » - entrée « Sarre (Land) »
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.
Région wallonne < Sarre (Land) < Schleswig-Holstein  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000369 (2006) Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne]Modular proof systems for partial functions with Evans equality
000476 (2005) Francois Lamarche [France] ; Lutz Strassburger [Allemagne]Naming proofs in classical propositional logic
000478 (2005) Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne]Multi-dimensional graph configuration for natural language processing
000520 (2005) Ernst Althaus [France] ; Stefan Funke [Allemagne] ; Sariel Har-Peled [États-Unis] ; Jochen Könemann [Canada] ; Edgar A. Ramos [États-Unis] ; Martin Skutella [Allemagne]Approximating k-hop minimum-spanning trees
000672 (2003) Harald Ganzinger [Allemagne] ; Jürgen Stuber [France]Superposition with equivalence reasoning and delayed clause normal form transformation
000774 (2002) Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne]SCIL: Symbolic constraints in integer linear programming
000903 (2001) Claire Gardent [France] ; Stefan Thater [Allemagne]Generating with a grammar based on tree descriptions: A constraint-based approach
000A19 (2000) A. Bockmayr [France] ; F. Eisenbrand [Allemagne]Combining logic and optimization in cutting plane theory
000A72 (1999) A. Bockmayr [France] ; F. Eisenbrand [Allemagne] ; M. Hartmann [États-Unis] ; A. S. Schulz [États-Unis]On the Chvátal rank of polytopes in the 0/1 cube
000A92 (1999) V. Cortier [France] ; H. Ganzinger [Allemagne] ; F. Jacquemard [France] ; M. Veanes [Allemagne]Decidable fragments of simultaneous rigid reachability
000B34 (1998) E. Melis [Allemagne] ; J. Lieber [France] ; A. Napoli [France]Reformulation in case-based reasoning

List of associated Author.i

Nombre de
documents		Descripteur
2A. Bockmayr
2Ernst Althaus
2F. Eisenbrand
2Harald Ganzinger
1A. Napoli
1A. S. Schulz
1Alexander Bockmayr
1Claire Gardent
1Denys Duchier
1E. Melis
1Edgar A. Ramos
1F. Jacquemard
1Francois Lamarche
1H. Ganzinger
1J. Lieber
1Jochen Könemann
1Jürgen Stuber
1Kurt Mehlhorn
1Lutz Strassburger
1M. Hartmann
1M. Veanes
1Marco Kuhlmann
1Martin Skutella
1Matthias Elf
1Michael Jünger
1Ralph Debusmann
1Sariel Har-Peled
1Stefan Funke
1Stefan Thater
1Thomas Kasper
1Uwe Waldmann
1V. Cortier
1Viorica Sofronie-Stokkermans

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/AffRegion.i -k "Sarre (Land)" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffRegion.i  \
                -Sk "Sarre (Land)" \
         | 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=    AffRegion.i
   |clé=    Sarre (Land)
}}
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