Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « reduction »
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.
reducibility by case < reduction < reduction de mots  Facettes :

List of bibliographic references indexed by reduction

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
00A769 (1999) Horatiu Cirstea ; Claude KirchnerIntroduction to the rewriting calculus
00AC85 (1999) Horatiu Cirstea [France] ; Claude Kirchner [France]Introduction to the Rewriting Calculus
00B107 (1998) Gülgün Alpan ; Mohsen A. JafariA Combined Plant + Controller Model of Discrete Event Systems
00BA52 (1997) Denis RoegelDetecting interference through graph reduction
00BD56 (1997) Rakesh M. Verma [France] ; Michaël Rusinowitch [France] ; Denis Lugiez [France]Algorithms and Reductions for Rewriting Problems
00C900 (1994) J. Morinet-Lambert ; P. BernatÉtude d'un mode de réduction de graphe
00C999 (1994) J. Morinet-Lambert ; P. BernatReduction of Graphical Layout of Graphs in Open Learning Environments
00CF75 (1993) J. JulliandFunctional Programming and Nondeterminism
00D077 (1993) J. Morinet-Lambert ; P. BernatEtude d'un mode de réduction de graphe : de la conceptualisation à l'implantation grâce à une modélisation objet
00DB51 (1990) F. AlexandreUne transformation de programmes logiques en systèmes de réécriture
00DC17 (1990) N. LazrakPAUSE : How to Prove Equational Formulas in Equational Specifications
00DC67 (1990) N. LazrakEquational Validity of Equational Formulas
00DC75 (1990) F. AlexandreA Transformation of Logic Programs into Term Rewrite Systems
00DE83 (1989) N. LazrakPAUSE : A Theorem Prover for Elementary Properties

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/KwdEn.i -k "reduction" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "reduction" \
         | 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=    KwdEn.i
   |clé=    reduction
}}
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