Sciweavers

74
Voted
TABLEAUX
1998
Springer
15 years 1 months ago
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
Bernhard Beckert, Ulrike Hartmer