The first-order theory of subtyping constraints.

Zhendong Su Alexander Aiken Joachim Niehren Tim Priesnitz Ralf Treinen

Published in: POPL (2002)

Keyphrases

quantifier free
first order logic
theoretical basis
higher order
constraint satisfaction
computational model
information theory
constrained optimization
global constraints
database
learning algorithm
theoretical framework
inference rules
constraint propagation
linear constraints
quantifier elimination