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