Généralisation des jeux combinatoires et applications aux langages logiques

by Jean-Vincent Loddo

Doctoral thesis in Informatique

Under the supervision of Roberto Di Cosmo.

defended on 2002

in Paris 7 .

Other version

This thesis has resulted in a publication by in 2005 by [CCSD] [diffusion/distribution] in Villeurbanne

Généralisation des jeux combinatoires et applications aux langages logiques

Consult library

Version is available as a paper

Informations

  • Details : 1 vol. (316 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 305-308. Index

Where is this thesis?

  • Library : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • PEB tested
  • Odds : TS (2002) 112
  • Library : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB tested
  • Odds : LODDO g
See the Sudoc catalog libraries of higher education and research.