A derived algorithm for evaluating ε-expressions over abstract sets
Journal of Symbolic Computation - Special issue on automatic programming
An Equational Re-engineering of Set Theories
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Hi-index | 0.00 |