Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents - Université Jean Moulin Lyon 3 Accéder directement au contenu
Article Dans Une Revue O que nos faz pensar Année : 2017

Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents

Fichier non déposé

Dates et versions

hal-01787572 , version 1 (07-05-2018)

Identifiants

  • HAL Id : hal-01787572 , version 1

Citer

Jean-Baptiste Joinet. Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents. O que nos faz pensar, 2017, 25 (39), pp.55-69. ⟨hal-01787572⟩
54 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More