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