- 114 p.
Call n° : 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
Location : Monographie RdC (ACKE)