Login / Signup

Sequentiality by Linear Implication and Universal Quantification.

Alessio Guglielmi
Published in: STRICT (1995)
Keyphrases
  • universal quantification
  • linear constraints
  • orders of magnitude
  • functional dependencies