Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Higher-order rewriting
4
Artificial intelligence
2
Calculations
2
Differentiation (calculus)
2
Equational theory
2
First-order rewriting
2
Abstracting
1
Alpha-conversion
1
Biomineralization
1
Computer science
1
Computers
1
De Bruijn
1
De Bruijn indices
1
De-Bruijn indices
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
Neededness
1
Normalisation
1
Notation
1
Numerical methods
1
Parameter estimation
1
Pattern calculi
1
Program translators
1
-
1Materias: “...First-order rewriting...”
JOUR -
2Materias: “...Rewriting...”
JOUR -
3Materias: “...Higher-order rewrite system...”
SER -
4Materias: “...Higher-order rewriting...”
JOUR -
5Materias: “...First-order rewriting...”
SER