Preuves d'équivalence de programmes logiques

par Sorin Craciunescu

Thèse de doctorat en Informatique

Sous la direction de François Fages.

Soutenue en 2004

à Palaiseau, Ecole polytechnique .

Le président du jury était Gilles Dowek.

Le jury était composé de Mathieu Jaume.

Les rapporteurs étaient Gérard Ferrand, Dalle Miller.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (170 p.)
  • Annexes : Bibliogr. p. 167-170

Où se trouve cette thèse\u00a0?

  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : G2A 279/2004/CRA

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2004EPXX0008
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.