La part du calcul

Hdr Année : 1999

(1)

1

Gilles Dowek

Formal Specifications and Program Validation

deduction modulo simple type theory cut elimination automated theorem proving

déduction modulo théorie de types simples élimination des coupures démonstration automatique

Informatique [cs] Logique en informatique [cs.LO]

Fichier principal

habilitation.pdf (747.53 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/tel-04114581

Soumis le : vendredi 2 juin 2023-09:35:06

Dernière modification le : samedi 3 juin 2023-03:30:08

tel-04114581 , version 1 (02-06-2023)

Paternité

Gilles Dowek. La part du calcul. Computer Science [cs]. Université de Paris 7, 1999. ⟨tel-04114581⟩

INRIA INRIA2

22 Consultations

16 Téléchargements