Deciding Equality in the Constructor Theory.

Pierre Corbineau

Published in: TYPES (2006)

Keyphrases

theoretical framework
theoretical basis
artificial intelligence
three dimensional
databases
data mining
bayesian networks
multiscale
multiresolution
logic programming
domain theory
general theory