Login / Signup
Explicit substitutions calculi with one step Eta-reduction decided explicitly.
Daniel Lima Ventura
Mauricio Ayala-Rincón
Fairouz Kamareddine
Published in:
Log. J. IGPL (2009)
Keyphrases
</>
databases
data mining
search engine
computer vision
decision making
website
reduction method