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 : jeudi 11 janvier 2018 - 06:17:42

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

147

Téléchargements de fichiers

132