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

Point d'accès autorisé

Gnaedig, Isabelle

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)
Langue d'expression : français
Pays : France

Notes

Note publique d'information : 
Titulaire d'un doctorat de 3e cycle en informatique (Nancy, 1986)

Identifiants externes

Identifiant HAL : isabelle-gnaedig
Identifiant VIAF : http://viaf.org/viaf/27121198
Identifiant SCOPUS : 56615909100
Identifiant ISNI : 0000000001762411

Source

Preuves de terminaison des systèmes de réécriture associatifs commutatifs : une méthode fondée sur la réécriture elle-même / Isabelle Gnaedig, 1986 [thèse 3e cycle]

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