Logic of Refinement Types.

Published in: TYPES (1993)

Keyphrases

decision making
logic programming
database
data mining
information retrieval
genetic algorithm
artificial intelligence
probability theory
classical logic
step wise