The Completeness of BCD for an Operational Semantics.

Richard Statman

Published in: TYPES (2016)

Keyphrases

operational semantics
formal semantics
data model
model theoretic
declarative semantics
mental states
denotational semantics
knowledge base
learning process
agent programming
activity diagrams