J.-L. Rivail < J.-L. Rémy < J.-M Nicod

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by J.-L. Rémy

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]

Ident.	Authors (with country if any)	Title
00CB59 (1994)	J.-L. Rémy ; M. Rusinowitch	Special Issue on Conditional Term Rewriting Systems
00CF25 (1993)	M. Navarro ; F. Orejas ; J.-L. Rémy	Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications
00DC23 (1990)	J.-L. Rémy	An Example of Consistency Proof using Rewriting Techniques : the Caterpilar Specification
00DC31 (1990)	W. Bousdira ; J.-L. Rémy	On Sufficient Completeness of Conditional Specifications
00DC86 (1990)	L. Alonso ; J.-L. Rémy ; R. Schott	A Linear Time Algorithm for the Generation of Tree
00DF14 (1989)	J.-L. Rémy ; S. Uhrig	An Algorithm for Testing Sufficient Completeness of a Simple Class of Conditional Specifications
00DF51 (1989)	M.-O. Berger ; J.-L. Rémy ; R. Schott	Uniform Generation of Unary-Binary Trees
00E204 (1988)	W. Bousdira ; J.-L. Rémy	REVEUR 4 : A Laboratory for Conditional Rewriting
00E254 (1988)	W. Bousdira ; J.-L. Rémy	Hierarchical Contextual Rewriting with Several Levels
00E264 (1988)	W. Bousdira ; J.-L. Rémy	Hierarchical contextual rewriting with several levels
00E423 (1987)	W. Bousdira ; J.-L. Rémy	Complétion des systèmes de réécriture conditionnelle
00E473 (1987)	S. Kaplan ; J.-L. Rémy	Completion algorithms for conditional rewriting systems
00E484 (1987)	W. Bousdira ; J.-L. Rémy	REVEUR 4 : A Laboratory for Conditional Rewriting
00E499 (1987)	H. Comon ; J.-L. Rémy	How to characterize the language of ground normal forms
00E677 (1986)	J.-P. Jouannaud ; Pierre Lescanne [France] ; J. Mzali ; J.-L. Rémy	Présentation de l'équipe de recherche EURECA
00E896 (1985)	J.-L. Rémy	Un procédé itératif de dénombrement d'arbres binaires et son application à leur génération aléatoire (version revisée)
00E910 (1985)	J.-L. Rémy	A review of several closure properties in universal algebra an first order logic
00E968 (1985)	J.-L. Rémy ; H. Zhang	REVEUR 4 : a system to proceed experiments on conditional term rewriting systems
00E972 (1985)	J.-L. Rémy	Postdoctoral research in computer science : An assessment of the researches on conditional term rewriting systems ; final report
00E975 (1985)	H. Zhang ; J.-L. Rémy	Contextual rewriting
00EB55 (1984)	J.-L. Rémy ; H. Zhang	REVE 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/Author.i -k "J.-L. Rémy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "J.-L. Rémy" \
         | 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=    Author.i
   |clé=    J.-L. Rémy
}}

---

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