Fundamentals of compositional rewriting theory.

Nicolas Behr Russ Harmer Jean Krivine

Published in: J. Log. Algebraic Methods Program. (2023)

Keyphrases

theoretical framework
data structure
theoretical basis
database
data sets
neural network
decision making
evolutionary algorithm
np complete
computational model
belief functions
decision theory
general theory
formal theory
rewrite rules