Bialgebraic methods and modal logic in structural operational semantics (Q1012126)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bialgebraic methods and modal logic in structural operational semantics |
scientific article; zbMATH DE number 5543807
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Bialgebraic methods and modal logic in structural operational semantics |
scientific article; zbMATH DE number 5543807 |
Statements
Bialgebraic methods and modal logic in structural operational semantics (English)
0 references
14 April 2009
0 references
structural operational semantics
0 references
coalgebra
0 references
bialgebra
0 references
modal logic
0 references
congruence format
0 references
0 references
0 references
0.9373229
0 references
0.9360383
0 references
0.9341173
0 references
0 references
0.9098444
0 references
0.9080337
0 references
0.90026504
0 references
0.8979396
0 references
0.8968039
0 references
