?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
tags | heads
algebraic-prog-equiv.git
15 years ago shown-for-TYa    | commit | log
15 years ago RCS-all-init    | commit | log
The equivalence problem in algebraic models of programs (some results) (in Russian)