LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS (Q5249246)
From MaRDI portal
scientific article; zbMATH DE number 6432476
Language | Label | Description | Also known as |
---|---|---|---|
English | LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS |
scientific article; zbMATH DE number 6432476 |
Statements
LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS (English)
0 references
30 April 2015
0 references
\(\lambda_{\to}\)-representable functions
0 references
term algebras
0 references
free structures
0 references
recursion-theoretic characterization
0 references
recursive word functions
0 references