Knowledge Tree

researcher / Serge Grigorieff

Serge Grigorieff

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Le reseau a production conditionnee. Creation et traitement des connaissances a partir d'un systeme connexionniste decrit par des champs non-lineaires

Extension de l'isomorphisme de curry-howard au traitement des exceptions (application d'une etude de la dualite en logique intuitionniste)

Contribution a l'etude du comportement intentionnel des algorithmes : le cas de la recursion primitive

Economie de ressources sur automates cellulaires

Synchronisation et automates cellulaires : la ligne de fusiliers

Contribution à l'étude des automates cellulaires

Extension du systeme t de godel dans les domaines finis. Etude de la complexite algorithmique