Login / Signup

A Complete Gentzen-Style Axiomatization for Set Constraints.

Allan ChengDexter Kozen
Published in: ICALP (1996)
Keyphrases
  • database systems
  • constrained optimization
  • partially ordered
  • database
  • linear constraints