Formal foundations of operational semantics (Q1426872)
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: Formal foundations of operational semantics |
scientific article; zbMATH DE number 2057343
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal foundations of operational semantics |
scientific article; zbMATH DE number 2057343 |
Statements
Formal foundations of operational semantics (English)
0 references
15 March 2004
0 references
\(\lambda\)-calculus
0 references
contexts
0 references
operational semantics
0 references
theorem proving
0 references
PVS
0 references
0.93724155
0 references
0.9253428
0 references
0.92134583
0 references
0.9148443
0 references
0.9129987
0 references
0.91034746
0 references
0.90365183
0 references
0 references
