Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Higher-order rewriting
Artificial intelligence
2
Equational theory
2
First-order rewriting
2
Abstracting
1
Alpha-conversion
1
Calculations
1
Computer science
1
Computers
1
De Bruijn
1
De Bruijn indices
1
De-Bruijn indices
1
Differentiation (calculus)
1
Encoding (symbols)
1
Explicit substitutions
1
Extended abstracts
1
Higher-order
1
Higher-order rewrite system
1
Lambda calculus
1
Logic programming
1
Meta-terms
1
Metadata
1
Notation
1
Numerical methods
1
Parameter estimation
1
Program translators
1
Syntactics
1
-
1Materias: “...Higher-order rewrite system...”
SER -
2Materias: “...First-order rewriting...”
JOUR -
3Materias: “...Higher-order rewriting...”
JOUR -
4Materias: “...First-order rewriting...”
SER