Fragments de l'arithmétique dans une combinaison de procédures de décision.

par Diego Caminha barbosa de oliveira

Thèse de doctorat en Informatique

Sous la direction de Stephan Merz et de Pascal Fontaine.

Thèses en préparation à l'Université de Lorraine , dans le cadre de Informatique, Automatique, Electronique-Electrotechnique, Mathématiques , en partenariat avec Laboratoire lorrain de Recherche en Informatique et ses Applications (equipe de recherche) et de UNIVERSITE DE LORRAINE (Etablissement d'accueil) depuis le 07-01-2008 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.