No label defined (Q4942617)
From MaRDI portal
scientific article; zbMATH DE number 1414280
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1414280 |
Statements
16 March 2000
0 references
equivalent of the Böhm-Jacopini theorem
0 references
declarative programming
0 references
recursive programs
0 references
Turing machines
0 references
computable function
0 references
conjunctive formulas
0 references
