The equivalence problem in algebraic models of programs (some new results/algorithms and attempts at their practical applications) (https://gitorious.org/algebraic-prog-equiv)

root

The equivalence problem in "algebraic" models of programs: some new results/algorithms and attempts at their practical applications

Some other notes (article sources), mostly in Russian, are at https://gitorious.org/algebraic-prog-equiv.