C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Operational Semantics for S-Net.
Frank Penczek
Clemens Grelck
Sven-Bodo Scholz
Published in:
PARCO (2009)
Keyphrases
</>
operational semantics
formal semantics
mental states
data model
model theoretic
declarative semantics
database
query language
speech acts
activity diagrams
information extraction