Pseudo-distributive laws and axiomatics for variable binding.

Miki Tanaka John Power

Published in: High. Order Symb. Comput. (2006)

Keyphrases

distributive lattices
general theory
data sets
neural network
artificial intelligence
computer vision
image processing
three dimensional
database systems
natural language
elimination algorithm