Techniques de raisonnement automatique pour les logiques hybrides Automated reasoning techniques for hybrid logics

par Daniel alejandro Gorin

Thèse de doctorat en Informatique

Sous la direction de Patrick Blackburn et de Veronica Becher.

Thèses en préparation à l'Université de Lorraine en cotutelle avec l'Université de Buenos Aires , 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 Université de Buenos Aires (Etablissement d'accueil) depuis le 02-09-2008 .


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


  • Pas de résumé disponible.