![](/img/cover-not-exists.png)
A derived algorithm for evaluating ɛ-expressions over abstract sets
Eugenio G. Omodeo, Franco Parlamento, Alberto PolicritiVolume:
15
Year:
1993
Language:
english
Pages:
32
DOI:
10.1016/s0747-7171(06)80009-x
File:
PDF, 1.70 MB
english, 1993