Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial intelligence
2
Calculations
2
Differentiation (calculus)
2
Higher-order rewriting
2
Biomineralization
1
Computer science
1
Computers
1
De Bruijn
1
De-Bruijn indices
1
Equational theory
1
Extended abstracts
1
First-order rewriting
1
Higher-order
1
Higher-order rewrite system
1
Lambda calculus
1
Meta-terms
1
Neededness
1
Normalisation
1
Pattern calculi
1
Program translators
1
Rewriting
1
Sequentiality
1
-
1Materias: “...Higher-order rewrite system...”
SER -
2Materias: “...Rewriting...”
JOUR -
3Materias: “...First-order rewriting...”
SER