Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

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 random fields < conditional rewriting < conditional rewriting logic  Facettes :

List of bibliographic references indexed by conditional rewriting

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
005425 (2006) Frédéric Blanqui ; Claude Kirchner ; Colin RibaOn the Confluence of λ -Calculus with Conditional Rewriting
005521 (2006) Frédéric Blanqui Inria [France] ; Colin Riba Inpl [France]Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems
005D96 (2005) Frédéric Blanqui ; Colin Riba ; Claude KirchnerOn the confluence of lambda-calculus with conditional rewriting
00C161 (1996) Iliès Alouini [France] ; Claude Kirchner [France]Conditional Concurrent Rewriting
00CF25 (1993) M. Navarro ; F. Orejas ; J.-L. RémyContextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications
00DF14 (1989) J.-L. Rémy ; S. UhrigAn Algorithm for Testing Sufficient Completeness of a Simple Class of Conditional Specifications
00E198 (1988) W. BousdiraA Completion Procedure for Hierarchical Conditional Equations
00E200 (1988) W. BousdiraA Completion Procedure for Hierarchical Conditional Rewriting Systems
00E204 (1988) W. Bousdira ; J.-L. RémyREVEUR 4 : A Laboratory for Conditional Rewriting
00E254 (1988) W. Bousdira ; J.-L. RémyHierarchical Contextual Rewriting with Several Levels
00E423 (1987) W. Bousdira ; J.-L. RémyComplétion des systèmes de réécriture conditionnelle
00E473 (1987) S. Kaplan ; J.-L. RémyCompletion algorithms for conditional rewriting systems
00E484 (1987) W. Bousdira ; J.-L. RémyREVEUR 4 : A Laboratory for Conditional Rewriting
00E665 (1986) W. BousdiraComplétion des systèmes de réécriture contextuelle
00E677 (1986) J.-P. Jouannaud ; Pierre Lescanne [France] ; J. Mzali ; J.-L. RémyPrésentation de l'équipe de recherche EURECA
00E700 (1986) J.-P. Jouannaud ; B. WaldmannReductive conditional rewrite rules
00E760 (1986) J.-P. Jouannaud ; B. WaldmannReductive conditional term rewriting systems
00E972 (1985) J.-L. RémyPostdoctoral research in computer science : An assessment of the researches on conditional term rewriting systems ; final report
00E975 (1985) H. Zhang ; J.-L. RémyContextual rewriting
00EB55 (1984) J.-L. Rémy ; H. ZhangREVE 4 : a system to validate conditional algebraic specifications of parameterized abstract data types

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 "conditional rewriting" 

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