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
Artificial intelligence
4
Equational theory
4
First-order rewriting
4
Explicit substitutions
3
Abstracting
2
Alpha-conversion
2
Calculations
2
Computer science
2
Computers
2
De Bruijn
2
De Bruijn indices
2
De-Bruijn indices
2
Differentiation (calculus)
2
Encoding (symbols)
2
Extended abstracts
2
Higher-order
2
Higher-order rewrite system
2
Lambda calculus
2
Logic programming
2
Meta-terms
2
Metadata
2
Notation
2
Numerical methods
2
Parameter estimation
2
Program translators
2
Syntactics
2
Ciencias Informáticas
1
Cálculo
1
Estrategias
1
-
1
-
2Materias: “...Higher-order rewrite system...”
SER -
3Publicado 2005Materias: “...First-order rewriting...”
-
4Materias: “...First-order rewriting...”
JOUR -
5Publicado 2005Materias: “...Higher-order rewriting...”
-
6Materias: “...Higher-order rewriting...”
JOUR -
7
-
8Materias: “...First-order rewriting...”
SER -
9por Bonelli, EduardoMaterias: “...Higher-order rewriting...”
Publicado 2005
Aportado por: SEDICI (UNLP)Articulo