Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Istex)

Index « AbsEn.i » - entrée « variables »
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.
variable < variables < variadic  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 131.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000101 (1997) U. Franz [France] ; D. Neuenschwander [Allemagne] ; R. Schott [France, Suisse]Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups
000310 (1995) Jean Louis Vigneresse [France]Which language should be used to sort multifield records?
000317 (1994) A. Faraj [France]Interpretation Tools For Generalized Discriminant Analysis
000345 (2004) Nancy S. Redeker [États-Unis] ; Jeanne Ruggiero [États-Unis] ; Christine Hedges [États-Unis]Patterns and predictors of sleep pattern disturbance after cardiac surgery
000357 (1992) Hubert Comon [France]Completion of rewrite systems with membership constraints
000472 (2012) Maeve Wallace [États-Unis] ; Marie-Josèphe Saurel-Cubizolles [France]Returning to Work One Year After Childbirth: Data from the Mother–Child Cohort EDEN
000483 (1993) Régis Curien [France]Second order E-matching as a tool for automated theorem proving
000553 (2008) Florent Jacquemard [France] ; Michael Rusinowitch [France]Closure of Hedge-Automata Languages by Hedge Rewriting
000573 (1988) Claude Kirchner [France] ; Hélène Kirchner [France] ; José Meseguer [États-Unis]Operational semantics of OBJ-3
000629 (1996) Maribel Fernández [France]AC Complement Problems: Satisfiability and Negation Elimination
000768 (1997) G. Perrier [France]A decidable fragment of second order linear logic
000791 (1979) Steven Y. Moon [États-Unis] ; Robert F. Woolson [États-Unis] ; Judy A. Bean [États-Unis]A computer program for survival comparisons to a standard population
000953 (2012) Silvija Vlah Jeri [Croatie] ; José Rui Figueira [Portugal, France]Multi-objective scheduling and a resource allocation problem in hospitals
000991 (2000) Stéphane Potier [France] ; Jean Louis Maltret [France] ; Jacques Zoller [France]Computer graphics: assistance for archaelogical hypotheses
000A09 (2000) Didier Arquès [France] ; Alain Giorgetti [France]Counting rooted maps on a surface
000B11 (1994) Silvia Breitinger [Allemagne] ; Hendrik C. R. Lock [France]Improving search for job-shop scheduling with CLP(FD)
000B25 (1994) S. Doyen-Lang [France] ; L. Lang [France] ; A. Charlier [France] ; M. F. Charlier [France] ; E. Mcrae [France]Calcul des energies et transferts de charge des mercurographitures KHgC4 et RbHgC4 par une methode quantique
000B49 (1987) Ghislain De Marsily [France]Non Stationary Geostatistics
000B82 (1999) Uwe Franz [Allemagne] ; René Schott [France]Limit theorems on quantum groups
000B84 (2002) Michaël Adélaïde [France] ; Olivier Roux [France]A Class of Decidable Parametric Hybrid Systems
000B87 (2008) Guillaume Bonfante [France] ; Reinhard Kahle [Portugal] ; Jean-Yves Marion [France] ; Isabel Oitavem [Portugal]Recursion Schemata for NC k

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "variables" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "variables" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    variables
}}

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