Formative Processes with Applications to the Decision Problem in Set Theory: I. Powerset and Singleton Operators

Domenico Cantone، نويسنده , , Pietro Ursino، نويسنده , , Eugenio G. Omodeo، نويسنده ,

روزنامه با شماره پیاپی سال 2002

37

165

201

satisfaction algorithm , set theory , verification of set-basedspecifications. , satisfiability decision problem

Information and Computation

2002

Information and Computation

262027