Login / Signup

Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations.

Paolo BaldanBarbara KönigTommaso Padoan
Published in: CONCUR (2020)
Keyphrases
  • fixpoint
  • logic programs
  • expert systems
  • management system
  • high level
  • finite state machines
  • stable models
  • knowledge base
  • np complete
  • recursive queries