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 |
|---|---|---|---|
| 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
