Semantics and reasoning with free procedures (Q1193855)
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: Semantics and reasoning with free procedures |
scientific article; zbMATH DE number 65299
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics and reasoning with free procedures |
scientific article; zbMATH DE number 65299 |
Statements
Semantics and reasoning with free procedures (English)
0 references
27 September 1992
0 references
reasoning
0 references
programs with procedures
0 references
interpretation
0 references
semantics
0 references
denotational constructions
0 references
proof system
0 references
0 references
