GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Christian Michaux, Éditeur scientifique ; UNIVERSITÉ CATHOLIQUE DE LOUVAIN, Éditeur scientifique | Louvain-la-Neuve (Belgique) : Academia-Bruylant | Cahier du Centre de logique | 2000Thèmes : relecture des travaux de Semenov sur certaines extensions de l'arithmétique de Presburger; nouvelle preuve d'un résultat sur l'indécidabilité du premier ordre des naturels avec l'addition; développement de la notion de fonctions calcul[...]
