Pages that link to "Item:Q2371752"
From MaRDI portal
The following pages link to Transformational reducibility and synthesis of algorithms and programs of symbolic processing (Q2371752):
Displaying 4 items.
- Transformation of algorithms written in the form of composition schemes (Q466022) (← links)
- Formalization of the object classification algorithm (Q904428) (← links)
- Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures (Q1040396) (← links)
- A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG (Q2493750) (← links)