CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Towards tableau-based decision procedures for non-well-founded fragments of set theory
Piazza Carla
,
Policriti Alberto
2000-01-01
Cite
DOI
Type
Conference paper
Cite
×