A Functional (Monadic) Second-Order Theory of Infinite Trees.

Anupam Das Colin Riba

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

database
neural network
special case
higher order
general theory
hessian matrix
finite sets
datalog queries
real time
data mining
machine learning
theoretical framework
tree structure
high order