Login / Signup

Complexity Bounds of Hoare-style Proof Systems

Hardi Hungar
Published in: LICS (1991)
Keyphrases
  • complexity bounds
  • building blocks
  • expert systems
  • special case
  • constraint satisfaction