Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
4
Differentiation (calculus)
4
Lambda calculus
Artificial intelligence
2
Computer programming languages
2
Computer science
2
Equational theory
2
Extended abstracts
2
First-order rewriting
2
Higher-order
2
Higher-order rewriting
2
Normal form
2
Probabilistic programming language
2
Proof methods
2
Quantum programming languages
2
Rewriting systems
2
abstract rewriting system
2
confluence
2
probabilistic rewriting
2
-
1Publicado 2018Materias: “...abstract rewriting system...”
-
2Materias: “...abstract rewriting system...”
JOUR -
3
-
4Materias: “...First-order rewriting...”
SER