C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Dynamic Structural Operational Semantics.
Christian Johansen
Olaf Owe
Published in:
CoRR (2016)
Keyphrases
</>
operational semantics
formal semantics
dynamic environments
mental states
model theoretic
information retrieval
theorem prover