paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 240140818Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Warinschi, Bogdan (19..-....)
Nom à l'état civil

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Date de naissance :    19XX
Genre : Inconnu

Notes

Note publique d'information : 
Professeur, University of Bristol

Identifiants externes

Identifiant SCOPUS : 23390939200

Source

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

... Références liées : ...