Login / Signup

A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets.

Eugenio G. OmodeoFranco ParlamentoAlberto Policriti
Published in: J. Symb. Comput. (1993)
Keyphrases