Fundamentals of Compositional Rewriting Theory.

Nicolas Behr Russ Harmer Jean Krivine

Published in: CoRR (2022)

Keyphrases

theoretical framework
theoretical basis
neural network
information retrieval
learning algorithm
decision trees
database systems
expert systems
computational model
theoretical foundation
database processing
presburger arithmetic