.:. Browse > List by authors > Alexandre .:.

15 documents ordered by : Date Title first author name document type Submit date

1 - 2

Preuves par récurrence : stratégies et résultats de décidabilité Alexandre F. N° A02-R-489 || alexandre02c (2002) [inria-00101077 - version 1]

Correction de conjectures faussses Demba M., Alexandre F., Bsaïes K. N° A02-R-492 || demba02a (2002) [inria-00101078 - version 1]

Stratégies de preuves par récurrence basées sur le pliage et le dépliage Alexandre F., Demba M., Bsaïes K. N° A01-R-284 || alexandre01b (2001) [inria-00100700 - version 1]

Pliage et récurrence pour le construction de programme Alexandre F., Bsaïes K. N° A00-R-382 || alexandre00e (2000) [inria-00099326 - version 1]

Stratégies de dérivations de programmes logiques Alexandre F., Bsaïes K. N° 99-R-253 || alexandre99b (1999) [inria-00107840 - version 1]