The following pages link to Yu. A. Yushchenko (Q3673083):
Displayed 4 items.
- Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems (Q3673084) (← links)
- Identical transformations in algebras of nondeterministic algorithms. I (Q3746878) (← links)
- Identical transformations in algebras of nondeterministic algorithms. II (Q3766843) (← links)
- Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions (Q3964009) (← links)