Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Aix-Marseille (4)
  • Paris Saclay (4)
  • Grenoble Alpes (3)
  • Lyon (3)
  • Sorbonne Paris Cité (3)
  • Toulouse 3 (3)
  • Dijon (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble (1)
  • Limoges (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Marne-la-vallée, ENPC (1)
  • Montpellier 2 (1)
  • Mulhouse (1)
  • Orléans (1)
  • Paris 7 (1)
  • Paris Est (1)
  • Rennes 1 (1)
  • Rennes, École normale supérieure (1)
  • Rouen (1)
  • Università degli studi (Bologne, Italie) (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Lorraine (1)
  • Université du Québec à Montréal (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (19)
  • Mathématiques (3)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Biochimie. Biologie moléculaire et cellulaire (1)
  • Biologie (1)
  • Biologie cellulaire (1)
  • Droit privé et sciences criminelles (1)
  • Evolution, écologie, ressources génétiques, paléontologie (1)
  • Informatique et applications (1)
  • Informatique, sûreté du logiciel et calcul de haute performance (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Systèmes et communications (1)
  • Logique mathématique et fondements de l'informatique (1)
  • Neurosciences (1)
  • Pathologie humaine. Maladies infectieuses (1)
  • Sciences et techniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (20)
  • anglais (16)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Baelde David (1)
  • Bekka Bachir (1)
  • Berline Chantal (1)
  • Besse Philippe (1)
  • Bodeveix Jean-Paul (1)
  • Bordemann Martin (1)
  • Brlek Srecko (1)
  • Cachera David (1)
  • Calabretto Sylvie (1)
  • Caspi Paul (1)
  • Curien Pierre-Louis (1)
  • Dunand Christophe (1)
  • Falcone Yliès Carlo (1)
  • Feuilloley Marc (1)
  • Filali Mamoun (1)
  • Filliâtre Jean-Christophe (1)
  • Fradet Pascal (1)
  • Gaboriau Damien (1)
  • Gava Frédéric (1)
  • Gianinazzi-Pearson Vivienne (1)
  • Girault Alain (1)
  • Guerrini Stefano (1)
  • Henry Xavier (1)
  • Hirschkoff Daniel (1)
  • Hyvernat Pierre (1)
  • Jacquot François (1)
  • Kesner Delia (1)
  • Lalement René (1)
  • Lanet Jean-Louis (1)
  • Le Guernic Paul (1)
  • Lescanne Pierre (1)
  • Loulergue Frédéric (1)
  • Makhlouf Abdenacer (1)
  • Marché Claude (1)
  • Masi Muriel (1)
  • Matthes Ralph (1)
  • Mazza Damiano (1)
  • Mezghiche Mohamed (1)
  • Miller Dale (1)
  • Nour Karim (1)
  • Pagès Jean-Marie (1)
  • Parent Catherine (1)
  • Pichardie David (1)
  • Porcher Christophe (1)
  • Pous Damien (1)
  • Raffalli Christophe (1)
  • Royer Jean-Claude (1)
  • Régnier Laurent (1)
  • Sangiorgi Davide (1)
  • Santocanale Luigi (1)
  • Saurin Alexis (1)
  • Soumelis Vassili (1)
  • Stefani Jean-Bernard (1)
  • Thomas Frédéric (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (22)
  • Mathématiques (6)
  • Sciences de la vie, biologie, biochimie (4)
  • Sciences de la nature et mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Médecine et santé (2)
  • Informatique, information, généralités (1)
  • Logique (1)
  • Droit (1)
  • Plantes. Botanique (1)

Domaines :

Fullscreen

36 thèses pour "Coinduction"

Automata algorithms based on coinduction methods

par Laureline Pinault sous la direction de Damien Pous - Lyon

Informatique

En préparation depuis le 01-09-2017
 thèse en cours de préparation
Informatique, sûreté du logiciel et calcul de haute performance

Soutenue en 2012
thèse soutenue

...Keywords: proof assistant, regular tree, cyclic term, coinduction, tree transducer...

Accéder en ligne
Informatique. Systèmes et communications

Soutenue en 2000
thèse soutenue
Logique mathématique et fondements de l'informatique

Soutenue en 2001
thèse soutenue

...InD. Sangiorgi and J. Rutten, editors, Advanced Topics in Bisimulation andCoinduction, pages 197...

Accéder en ligne
Informatique

Soutenue en 1999
thèse soutenue
Informatique

Soutenue le 19-12-2014
thèse soutenue

...coinduction, qui est le principede preuve associé aux coalgèbres finales dans la catégorie des ensembles (en...

Accéder en ligne
Mathématiques

Soutenue le 28-06-2016
thèse soutenue

...(T) relative to the space through standard constructions : products,restriction, co-induction...

Accéder en ligne

Résultats 1 à 10