Login / Signup

A Set-Theoretic Framework for Assume-Guarantee Reasoning.

Patrick Maier
Published in: ICALP (2001)
Keyphrases
  • set theoretic
  • data mining
  • data sets
  • computer vision
  • rough sets