data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 201463997
Notice de type Personne

Point d'accès autorisé

Bauer, Andrej

Information

Langue d'expression : Francais

Source

Certification de programmes avec des effets calculatoires / Burak Ekici ; sous la direction de Jean-Guillaume Dumas et Dominique Duval. Thèse de doctorat : Mathématiques et informatique : Grenoble Alpes : 2015

Autres identifiants

Utilisation dans Rameau

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

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