Identifiant pérenne de la notice : 240140818
Notice de type
Personne
Preuves symboliques de propriétés d’indistinguabilité calculatoire / Adrien Koutsos
; sous la direction de Hubert Comon-Lundh. Thèse de doctorat : Informatique : Paris
Saclay : 2019
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial