?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Final preparations (or afterwards?).
[algebraic-prog-equiv.git] / free-withTests-det.tex
bloba6fa04515e59e03d0e8ec3e97c512695cf483a6a
1
2 %%% Local Variables:
3 %%% mode: latex
4 %%% TeX-master: "main"
5 %%% End:
The equivalence problem in algebraic models of programs (some results) (in Russian)