strategies of space coding < strategy < strategy theory

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000760 (1989)	M. De Silvestri ; J.-P. Jacquot	PLANEUR : mode d'emploi
000C72 (1991)	F. Alexandre ; Khaled Bsaies ; A. Quéré	On Using Mode Input-output for Transforming Logic Programs
000E41 (1992)	F. Alexandre ; Khaled Bsaies ; J.-P. Finance ; A. Quéré	SPES : A System for Logic Program Transformation
000F13 (1992)	Khaled Bsaies	Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs
001091 (1993)	Khaled Bsaïes ; F. Alexandre	The Unfolding Problem in Logic Program Transformation : Decidability Results
001094 (1993)	Khaled Bsaïes	Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties
001391 (1994)	Khaled Bsaïes ; F. Alexandre ; A. Quéré	Transformation of Generate and Test Logic Programs
001479 (1994)	F. Alexandre ; Khaled Bsaïes	A Methodology for Constructing Logic Programs
002337 (1998)	Horatiu Cirstea ; Claude Kirchner	Using Rewriting and Strategies for Describing the B Predicate Prover
002340 (1998)	Peter Borovansky	Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies
002348 (1998)	Carlos Castro	Une approche déductive de la résolution de problèmes de satisfaction de contraintes
002498 (1999)	Hubert Dubois ; Hélène Kirchner	Modelling Planning Problems with Rules and Strategies
002546 (1999)	Pierre-Etienne Moreau	Compilation de règles de réécriture et de stratégies non-déterministes
002555 (1999)	Hubert Dubois ; Hélène Kirchner	Rule Based Programming with Constraints and Strategies
002588 (1999)	Hélène Kirchner	ELAN
002688 (1999)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen	Rewriting with strategies in ELAN : a functional semantics
002755 (1999)	Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau	ELAN from the rewriting logic point of view
002757 (1999)	Horatiu Cirstea ; Claude Kirchner	Introduction to the rewriting calculus
002B44 (2000)	Horatiu Cirstea ; Claude Kirchner	Rewriting and Multisets in the Rewriting Calculus and ELAN
002B53 (2000)	Hubert Dubois ; Hélène Kirchner	Objects, rules and strategies in ELAN
002B54 (2000)	Hubert Dubois ; Hélène Kirchner	Rules, strategies and objects in ELAN

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i -k "strategy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "strategy" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    strategy
}}

---

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