Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras von Maksymets, O.M.

Volltext

Development and substantiation of algorithms based on semantic properties von Kryvyi, S.L., Maksymets, O.M.

Volltext