Sign in

A Boolean Algebra of Contracts for Assume-guarantee Reasoning.

Yann GlouchePaul Le GuernicJean-Pierre TalpinThierry Gautier
Published in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
  • boolean algebra
  • constraint query languages
  • cardinality constraints
  • knowledge base
  • theorem prover
  • set theory
  • np hard
  • knowledge representation