Equational Dependencies.

Joel Berman Willem J. Blok

Published in: J. Inf. Process. Cybern. (1992)

Keyphrases

theorem proving
dependency analysis
dependency graphs
equational theories
databases
data dependencies
theorem prover
evolutionary algorithm
dependency graph
database
hidden markov models
multi agent systems
search algorithm
multi valued
data structure
multiscale
computer vision
neural network
data sets