Méthodes pour le raisonnement d'ordre supérieur dans SMT

par Hans-jörg Schurr

Projet de thèse 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) depuis le 29-11-2017 .


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


  • Pas de résumé disponible.