Rewriting with generalized nominal unification.

Yunus D. K. Kutz Manfred Schmidt-Schauß

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

data sets
higher order
rewrite rules
database
theorem proving
rewriting rules
neural network
machine learning
web services
bayesian networks
query optimization