Login / Signup
Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations.
Jozef Gruska
Irène Guessarian
Published in:
J. Autom. Lang. Comb. (1997)
Keyphrases
</>
databases
artificial intelligence
logic programs
fixpoint semantics
closed world assumption