paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 030092477Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/030092477/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Enjalbert, Patrice

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
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'une thèse de doctorat d'Etat en Mathématiques à l'Université Paris 7, 1981

Note publique d'information : 
Chercheur au Laboratoire GREYC - UMR6072, Caen (en 2006)

Identifiants externes

Identifiant HAL : patrice-enjalbert
Identifiant VIAF : http://viaf.org/viaf/44337465
Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb12157810v
Identifiant ISNI : 0000000115685100

Source

Contribution à l'étude de la logique algorithmique : systèmes de déduction pour les arbres et les schémas de programmes / Patrice Enjalbert ;[sous la direction de M. Nivat], 1981
Logique temporelle : sémantique et validation de programmes parallèles / E. Audureau, P. Enjalbert, L. Fariñas del Cerro, 1990

Information trouvée : Professeur à l'Université de Caen
https://dumas.ccsd.cnrs.fr/ENSI-CAEN/halshs-00009382, 20201126

Information trouvée : Patrice Enjalbert, Laboratoire GREYC - UMR6072, Caen en 2006

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