Composition of relational productions for plans and programs (Q3853103)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Composition of relational productions for plans and programs |
scientific article |
Statements
Composition of relational productions for plans and programs (English)
0 references
1979
0 references
information processing
0 references
compound artificial intelligence operators
0 references
composition of program statements
0 references
program semantics
0 references
relational production systems
0 references
program verification
0 references
list-processing semantics
0 references
structured variables
0 references
