Formative Processes with Applications to the Decision Problem in Set Theory: I. Powerset and Singleton Operators期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

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

Authors:	Domenico Cantone Pietro Ursino Eugenio G. Omodeo

Affiliation:	Dipartimento di Matematica e Informatica, Università di Catania, Viale Andrea Doria 6, Catania, I-95125, Italy^f1;Dipartimento di Matematica Pura ed Applicata, Università di L'Aquila, Via Vetoio, Loc. Coppito (L'Aquila), I-67010, Italy^,^f2

Abstract:

Keywords:	Abbreviations: satisfiability decision problemAbbreviations: satisfaction algorithmAbbreviations: set theoryAbbreviations: verification of set-based specifications
本文献已被 ScienceDirect 等数据库收录！