Auteurs
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 « Auteurs » - entrée « Khaled Bsaïes »
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.
Khaled Bsaies < Khaled Bsaïes < Khaled Gaaloul  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11. **** probable Xml problem ****
Ident.Authors (with country if any)Title
001091 (1993) Khaled Bsaïes ; F. AlexandreThe Unfolding Problem in Logic Program Transformation : Decidability Results
001094 (1993) Khaled BsaïesAutomated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties
001330 (1993) Khaled BsaïesConstruction de programmes logiques par synthèse de propriétés
001391 (1994) Khaled Bsaïes ; F. Alexandre ; A. QuéréTransformation of Generate and Test Logic Programs
001479 (1994) F. Alexandre ; Khaled BsaïesA Methodology for Constructing Logic Programs
001D08 (1997) Francis Alexandre ; Khaled BsaïesA Methodology for Constructing Logic Programs
001D09 (1997) Francis Alexandre ; Khaled BsaïesUne technique de construction de programmes logiques basée sur un démonstrateur
003638 (2002) Moussa Demba ; Francis Alexandre ; Khaled BsaïesCorrection de conjectures faussses
003F79