Login / Signup
Algebraic results for structured operational semantics.
Vashti C. Galpin
Published in:
South Afr. Comput. J. (2000)
Keyphrases
</>
operational semantics
formal semantics
mental states
model theoretic
data model
declarative semantics
artificial intelligence
mobile robot
natural language processing
denotational semantics
activity diagrams
intelligent systems
speech acts