Constructing List Homomorphisms from Proofs.

Yun-Yan Chi Shin-Cheng Mu

Published in: APLAS (2011)

Keyphrases

data structure
finite state automata
databases
graph theory
theorem proving
data sets
neural network
artificial intelligence
decision making
high level
objective function
preprocessing