Bialgebraic methods and modal logic in structural operational semantics

Publication info
  
Publication typePublication in a journal
Publication kindArticle
Publication titleBialgebraic methods and modal logic in structural operational semantics
Web URL
Journal titleINFORMATION AND COMPUTATION
Media typeprinted publication
Volume207
Book2
Publication year2009
From page237
To page257
Publication number
Publication languageEnglish
Ethnic language of studied culture
Rangeinternational
Report year2009

Authors list
  
 1. Bartosz Klin, Instytut Informatyki [Co-author]