CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Truth Table for a Combinatorial Kernel of Set Theories
E Omodeo
,
Franco Parlamento
,
Alberto Policriti
1990-01-01
Cite
Type
Conference paper
Publication
Proceeding of the European Conference on Artificial Intelligence ECAI 90
Truth Tables; Combinatorial Kernel; Set Theory
Related
A derived algorithm for evaluating epsilon-expressions over abstract sets
A contribution to the Automated Treatment of Membership Theories
The Bernays-Schoenfinkel-Ramsey Class in Set Theory: Decidability
The Bernays Schoenfinkel Ramsey class for set theory: semidecidability
Views on Time in Systems Biology
Cite
×