thèse – -Translation – Keybot Dictionary

Spacer TTN Translation Network TTN TTN Login Deutsch Français Spacer Help
Source Languages Target Languages
Keybot 8 Results  www.lix.polytechnique.fr
  Accueil  
Show textShow cached sourceOpen source URL
Actuellement en thèse au LIX, sous la direction de Frank Nielsen.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine lix.polytechnique.fr as primary domain
Phd student in the LIX laboratory under the supervision of Frank Nielsen.
  Travaux en Coq  
Show textShow cached sourceOpen source URL
Thèse
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine lix.polytechnique.fr as primary domain
Ph.D.
  INRIA AMIB  
Show textShow cached sourceOpen source URL
Soutenance de thèse de Philippe Rinaudo
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine lix.polytechnique.fr as primary domain
Philippe Rinaudo's PhD defence
  Site de Chantal Keller ...  
Show textShow cached sourceOpen source URL
Depuis septembre 2009 : Thèse d'informatique
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine lix.polytechnique.fr as primary domain
Since September 2009 : PhD. of Computer Science
  Lisa Allali  
Show textShow cached sourceOpen source URL
Mars 2005 : Présentation de la thèse de Julien Allali : Modélisation et comparaison de la structure secondaire de l'ARN - slides
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine lix.polytechnique.fr as primary domain
March 2005 : Presentation of the Phd thesis of Julien Allali : Modelisation and comparison on RNA secondary structure - slides
  Thèse de Olivier Hermant  
Show textShow cached sourceOpen source URL
Cette thèse introduit tout d'abord les outils sémantiques permettant de prouver cette propriété. Nous donnons au passage une application des méthodes à la preuve du théorème de Skolem intuitionniste.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine lix.polytechnique.fr as primary domain
This PhD thesis first introduces the semantical tools we will use to prove the property. We then give an application to the proof of Skolem theorem in an intuitionnistic frame.
  Anne-Laure Schneider  
Show textShow cached sourceOpen source URL
Ancienne élève de l'École Normale Supérieure, je suis actuellement en thèse sous la direction de Dale Miller à l'INRIA Saclay - Île-de-France, dans l'équipe Parsifal. Si vous voulez en savoir plus, voici mon CV.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine lix.polytechnique.fr as primary domain
After having graduated from the École Normale Supérieure, in Paris, I am now a PhD student under Dale Miller's supervision, at the INRIA Saclay - Île-de-France, in the Parsifal team. If you would like to know more about me, here is my resume.
  Thèse de Olivier Hermant  
Show textShow cached sourceOpen source URL
L'une des propriétés étudiée dans cette thèse est l'élimination des coupures. Elle est capitale car elle implique la cohérence du système considéré, et permet l'implantation effective d'algorithmes de recherche de preuve.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine lix.polytechnique.fr as primary domain
This work is mainly focused on the property of cut elimination of Deduction Modulo. This is a key property, since it implies consistency of the calculus, and allows to have efficient proof search algorithms. In deduction modulo, this property is not always true.