Program Extraction from Nested Definitions (Q5327357)
From MaRDI portal
scientific article; zbMATH DE number 6196176
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Extraction from Nested Definitions |
scientific article; zbMATH DE number 6196176 |
Statements
Program Extraction from Nested Definitions (English)
0 references
7 August 2013
0 references
