Login / Signup

Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification.

Stéphane Kaplan
Published in: FSTTCS (1988)
Keyphrases
  • operational semantics
  • positive and negative
  • formal semantics
  • artificial intelligence
  • data model
  • database
  • high level
  • mental states
  • model theoretic
  • activity diagrams
  • denotational semantics