Login / Signup
Bialgebraic methods and modal logic in structural operational semantics.
Bartek Klin
Published in:
Inf. Comput. (2009)
Keyphrases
</>
modal logic
temporal logic
qualitative and quantitative
operational semantics
expert systems
xml documents
formal semantics
denotational semantics