Knowledge Tree

researcher / Didier Galmiche

Didier Galmiche

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Extensions modales des logiques de ressources : expressivité et calculs

Logiques de ressources dynamiques : modèles, propriétés et preuves

Structures multi-contextuelles et logiques modales intuititionnistes et hybrides

Logiques spatiales de ressources, modèles d'arbres et applications

Preuves et sémantiques dans des logiques de ressources

Recherche et construction de preuves en logique non-commutative

Preuves, réfutations et contre-modèles dans des logiques intuitionnistes

De la construction de preuves à la programmation parallèle en logique linéaire

Mécanisation de la recherche de preuves et de programmes en arithmétique fonctionnelle du second ordre