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