S'abonner navigation icon
FR
navigation icon menu icon S'abonner
navigation icon Accueil navigation icon Catalogue
icon language Langues navigation icon Menu
icon close
icon arrow

Rechercher

icon searchbar

Rechercher

Catalogue

icon close
icon close
icon close
icon language

Langues

icon close
background image
button download
icon share social
Category Implementation du Calcul des Constructions Inductive Presburger
Lire
Lire

Implementation du Calcul des Constructions Inductive Presburger

  • 29

    pages

  • Français

  • Documents

  • 2009

Écrit par

Publié par
icon arrow

  • 29

    pages

  • Français

  • Documents

  • 2009

Lire
Lire
icon

Description

Niveau: Supérieur
Implementation du Calcul des Constructions Inductive/Presburger Pierre-Yves Strub FORMES, INRIA - Tsinghua Universisity - Beijing 7 Octobre 2009

  • procedure de decision pour l'arithmetique lineaire

  • modification du noyau de coq permettant l'introduction dynamiquement de procedures de decision dans la conversion

  • formalisation en coq

  • calcul des constructions inductives

  • procedure de decision


Voir icon arrow
icon success

Ajouté à mes notifications

Vous serez informé des prochaines publications.