The programming system PRIZ (Q4560348): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q5812175 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Justification of the structural synthesis of programs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3718146 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Compilation of Nonprocedural Specifications into Computer Programs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3730008 / rank | |||
Normal rank | |||
Latest revision as of 15:15, 17 July 2024
scientific article; zbMATH DE number 6992059
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The programming system PRIZ |
scientific article; zbMATH DE number 6992059 |
Statements
The programming system PRIZ (English)
0 references
11 December 2018
0 references
abstract object
0 references
propositional variable
0 references
minimax problem
0 references
structural synthesis
0 references
program synthesis
0 references
