Login / Signup
Formal Semantics for Music Notation control Flow.
Zeyu Jin
Roger B. Dannenberg
Published in:
ICMC (2013)
Keyphrases
</>
formal semantics
control flow
modeling language
modelling language
logical language
logical reasoning
formal language
transition systems
business process models
first order logic
data flow
database
data structure
speech acts
artificial intelligence