1994 | ||
---|---|---|
2 | Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov: Tools for Solving Problems in the Scope of Algebraic Programming. AISMC 1994: 30-47 | |
1993 | ||
1 | Alexander A. Letichevsky, M. S. Lvov: Discovery of Invariant Equalities in Programs over Data Fields. Appl. Algebra Eng. Commun. Comput. 4: 269-286 (1993) |
1 | Y. V. Kapitonova | [2] |
2 | Alexander A. Letichevsky | [1] [2] |
3 | Vladislav A. Volkov | [2] |