Equivalence of formal semantics definition methods (Q1355752)
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: Equivalence of formal semantics definition methods |
scientific article; zbMATH DE number 1014241
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equivalence of formal semantics definition methods |
scientific article; zbMATH DE number 1014241 |
Statements
Equivalence of formal semantics definition methods (English)
0 references
28 May 1997
0 references
denotational semantics
0 references
structural operational semantics
0 references
action semantics
0 references
0.7332587838172913
0 references
0.6882601380348206
0 references
0.6880595088005066
0 references
0.6870585680007935
0 references
0.6808789372444153
0 references
