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