A Categorical Perspective on Pattern Unification (Extended Abstract).

Andrea Vezzosi Andreas Abel

Published in: UNIF (2014)

Keyphrases

extended abstract
pattern matching
viewpoint
higher order
neural network
genetic algorithm
artificial intelligence
decision making
image segmentation
three dimensional
objective function
multi agent systems
data mining techniques
theorem proving