Proof assistance for refinement in type theory.

Nikos Mylonakis

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

database
theoretical basis
computer algebra
databases
decision making
bayesian networks
theoretical framework
general theory
proof theoretic
complete axiomatization