Login / Signup

Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations.

Jozef GruskaIrène Guessarian
Published in: J. Autom. Lang. Comb. (1997)
Keyphrases
  • databases
  • artificial intelligence
  • logic programs
  • fixpoint semantics
  • closed world assumption