Compositional Analysis for Equational Horn Programs.

María Alpuente Moreno Falaschi Germán Vidal

Published in: ALP (1994)

Keyphrases

statistical analysis
artificial intelligence
np hard
theorem proving
neural network
learning algorithm
database systems
expert systems
logic programs
integrity constraints