Operational semantics and extensionality.

Simona Ronchi Della Rocca

Published in: PPDP (2000)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
denotational semantics
declarative semantics
database
artificial intelligence
machine learning
e learning
natural language
agent programming