Teeft.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Teeft.i » - entrée « Special case »
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.
Special behaviour < Special case < Special cases  Facettes :

List of bibliographic references indexed by Special case

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]
Ident.Authors (with country if any)Title
005386 (2006) A. Derdzinski [États-Unis] ; G. Maschler [États-Unis]Special Kähler-Ricci potentials on compact Kähler manifolds
009D11 (2000) Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
009D27 (2000) Craig B. Borkowf [États-Unis]On multidimensional contingency tables with categories defined by the empirical quantiles of the marginal data
009D40 (2000) Jianyang Zhou [France]Introduction to the constraint language NCL
009E27 (2000) Reinhard PichlerSpeeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria
00B273 (1998) G. Canals [France] ; C. Godart [France] ; P. Molli [France] ; M. Munier [France]A criterion to enforce correctness of indirectly cooperating applications
00BB19 (1997) Manuel M. T. Chakravarty [Japon] ; Hendrik C. R. Lock [Allemagne]Towards the uniform implementation of declarative languages
00BB23 (1997) E. A. Cichon [France] ; A. Weiermann [France]Term rewriting theory for the primitive recursive functions
00BC52 (1997) Ruy J. G. B. De QueirozFourth Workshop on Logic, Language, Information and Computation (WoLLIC'97)
00BC90 (1997) Ludwig Fahrmeir [Allemagne] ; Leonhard Knorr-Held [Allemagne]9. Dynamic Discrete-Time Duration Models: Estimation Viamarkov Chain Monte Carlo
00BF49 (1996) Adnan Amin [Australie] ; Humoud Al-Sadoun [Koweït] ; Stephen Fischer [Australie]Hand-printed arabic character recognition system using an artificial network
00BF60 (1996) Martin Russling [Allemagne]Deriving a class of layer-oriented graph algorithms
00C052 (1996) D. Tondeur [France] ; H. Kabir [France] ; L. A. Luo [France] ; J. Granger [France]Multicomponent adsorption equilibria from impulse response chromatography
00C098 (1996) A. Geser [Allemagne]An Improved General Path Order
00C613 (1995) Yifan Gong [France]Speech recognition in noisy environments: A survey
00C658 (1995) Rolf Backofen [Allemagne]A complete axiomatization of a theory with feature and arity constraints
00C786 (1995) Alexander Clemm [Allemagne]Adding value to MIBs: A relationship layer for management platforms
00D208 (1993) Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France]Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
00DD57 (1990) Jörg H. Siekmann [Allemagne]Unification theory
00E062 (1989) Viorel Arn Utu [Roumanie] ; Viorel Barbu [Roumanie] ; Vincenzo Capasso [Italie]Controlling the spread of a class of epidemics
00E616 (1987) Michel Bauderon [France] ; Bruno Courcelle [France]Graph expressions and graph rewritings

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Teeft.i -k "Special case" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Teeft.i  \
                -Sk "Special case" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Teeft.i
   |clé=    Special case
}}
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