C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Dynamic structural operational semantics.
Christian Johansen
Olaf Owe
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
operational semantics
formal semantics
mental states
database
denotational semantics
logic programs
dynamic environments
model theoretic