Login / Signup
Comparing Calculi of Explicit Substitutions with Eta-reduction.
Mauricio Ayala-Rincón
Flávio L. C. de Moura
Fairouz Kamareddine
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
multiresolution
artificial intelligence
databases
case study
optimal solution
dynamic programming
attribute reduction