Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names.

Published in: MFPS (2009)

Keyphrases

state space
database
data mining
artificial intelligence
similarity measure
bayesian networks
search algorithm
expert systems
higher order