Playing with Trees and Logic

Abstract : This document proposes an overview of my research since
Type de document :
HDR
Logic in Computer Science [cs.LO]. Université Paris Diderot — Paris 7, 2015
Liste complète des métadonnées

Littérature citée [220 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/tel-01260775
Contributeur : Olivier Serre <>
Soumis le : vendredi 22 janvier 2016 - 15:17:10
Dernière modification le : vendredi 4 janvier 2019 - 17:32:57

Fichier

Identifiants

  • HAL Id : tel-01260775, version 1

Collections

Citation

Olivier Serre. Playing with Trees and Logic. Logic in Computer Science [cs.LO]. Université Paris Diderot — Paris 7, 2015. 〈tel-01260775〉

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

210