In the present paper the completeness and the minimality of the set of the following built-in constants of Backus FP system are proved: Identity, Head, Tail, Append left, Equals, Composition, Constuction, Condition, Constant.
No institution available
Material Science (Shared)
, 2025, Issue 1, pp. 1–10
ISSN Online: 0000-0000
DOI:
10.xxxx/example-doi