- 114 p.
Cote : 00004213
formule bien formée # formule d'égalité # problème de décision # préfixe # validité de formule du calcul des prédicats du premier ordre # validité et satisfiabilité en domaine fini # variable de prédicats monadique
03B25 ; 03Bxx ; 11U05 ; 12L05 ; 20F10
Localisation : Monographie RdC (ACKE)