Definability properties and the congruence closure.

Published in: Arch. Math. Log. (1990)

Keyphrases

fixed point
database
socio technical
computational complexity
real time
databases
computer vision
search algorithm
expert systems
artificial neural networks
probabilistic model
medical images