Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Higher-order rewriting
3
Artificial intelligence
2
Calculations
2
Differentiation (calculus)
2
Normalisation
2
Biomineralization
1
Ciencias Informáticas
1
Computer science
1
Computers
1
Cálculo
1
De Bruijn
1
De-Bruijn indices
1
Equational theory
1
Estrategias
1
Explicit substitutions
1
Extended abstracts
1
First-order rewriting
1
Higher-order
1
Higher-order rewrite system
1
Lambda calculus
1
Lamda calculus
1
Meta-terms
1
Needed-strategies
1
Neededness
1
Normalización
1
Pattern calculi
1
Program translators
1
Rewriting
1
Sequentiality
1
Substituciones explícitas
1
-
1Materias: “...Rewriting...”
-
2
-
3
-
4por Bonelli, EduardoMaterias: “...Higher-order rewriting...”
Publicado 2005
Aportado por: SEDICI (UNLP)Articulo