Login / Signup

A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting.

Marco CominiLuca Torella
Published in: SCSS (2013)
Keyphrases
  • fixpoint semantics
  • datalog programs
  • expert systems
  • database
  • logic programs
  • conjunctive queries
  • modeling language