Logic programming, functional programming, and inductive definitions (Q5053012)
From MaRDI portal
scientific article; zbMATH DE number 7623950
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic programming, functional programming, and inductive definitions |
scientific article; zbMATH DE number 7623950 |
Statements
Logic programming, functional programming, and inductive definitions (English)
0 references
26 November 2022
0 references