Transformational reducibility and synthesis of algorithms and programs of symbolic processing
From MaRDI portal
Publication:2371752
Cites work
Cited in
(4)- Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures
- A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG
- Transformation of algorithms written in the form of composition schemes
- Formalization of the object classification algorithm
This page was built for publication: Transformational reducibility and synthesis of algorithms and programs of symbolic processing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2371752)