Completeness of the Pool Calculus with an Open Built-in Theory.

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

computer algebra
theoretical basis
neural network
data structure
general theory
algebraic structure
real time
databases
data quality
theoretical foundation