A derived algorithm for evaluating epsilon-expressions over abstract sets

Omodeo E, Parlamento F, Policriti A
1993-01-01
Cite DOI
Type
Journal article