A derived algorithm for evaluating epsilon-expressions over abstract sets
OMODEO, EUGENIO
•
PARLAMENTO F
•
POLICRITI A.
1993
Periodico
JOURNAL OF SYMBOLIC COMPUTATION
Archivio
Diritti
metadata only access