Keywords
Corpus
Crin
Racine
Corpus
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Crin)

Index « Keywords » - entrée « conditional rewriting »
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.
conditional graphs < conditional rewriting < conditional rewriting logic  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000063 (1984) J.-L. Rémy ; H. ZhangREVE 4 : a system to validate conditional algebraic specifications of parameterized abstract data types
000149 (1985) H. Zhang ; J.-L. RémyContextual rewriting
000203 (1985) J.-L. RémyPostdoctoral research in computer science : An assessment of the researches on conditional term rewriting systems ; final report
000281 (1986) J.-P. Jouannaud ; B. WaldmannReductive conditional term rewriting systems
000318 (1986) J.-P. Jouannaud ; B. WaldmannReductive conditional rewrite rules
000353 (1986) W. BousdiraComplétion des systèmes de réécriture contextuelle
000371 (1986) J.-P. Jouannaud ; P. Lescanne ; J. Mzali ; J.-L. RémyPrésentation de l'équipe de recherche EURECA
000393 (1987) W. Bousdira ; J.-L. RémyComplétion des systèmes de réécriture conditionnelle
000440 (1987) S. Kaplan ; J.-L. RémyCompletion algorithms for conditional rewriting systems
000461 (1987) W. Bousdira ; J.-L. RémyREVEUR 4 : A Laboratory for Conditional Rewriting
000571 (1988) W. BousdiraA Completion Procedure for Hierarchical Conditional Equations
000620 (1988) W. BousdiraA Completion Procedure for Hierarchical Conditional Rewriting Systems
000685 (1988) W. Bousdira ; J.-L. RémyREVEUR 4 : A Laboratory for Conditional Rewriting
000686 (1988) W. Bousdira ; J.-L. RémyHierarchical Contextual Rewriting with Several Levels
000727 (1989) J.-L. Rémy ; S. UhrigAn Algorithm for Testing Sufficient Completeness of a Simple Class of Conditional Specifications
001139 (1993) M. Navarro ; F. Orejas ; J.-L. RémyContextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications
004391 (2005) Frédéric Blanqui ; Colin Riba ; Claude KirchnerOn the confluence of lambda-calculus with conditional rewriting

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "conditional rewriting" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "conditional rewriting" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    conditional rewriting
}}
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