Login / Signup

Characteristic Formulae for Fixed-Point Semantics: A General Framework

Luca AcetoAnna IngólfsdóttirJoshua Sack
Published in: EXPRESS (2009)
Keyphrases
  • fixed point semantics
  • expert systems