?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Final preparations (or afterwards?).
[algebraic-prog-equiv.git] / hypo-withTests-multi.tex
blob2836bcc58cd5e9e655a1bc3254e4dff4c2b5082f
1 comm. monot algo?
2
3 p. comm. monot algo?
4
5 íÏÄÅÌÉÒ dmta, ÄÅÌÉÔÅÌÉ ÎÕÌÑ, Ó×ÑÚØ Ó Ô. HK
6
7 ïÂÏÂÝÅÎÉÅ ÜÔÏÇÏ ÕÓÌÏ×ÉÑ (ÄÅÌ-ÌÉ ÎÕÌÑ)
8
9 %%% Local Variables:
10 %%% mode: latex
11 %%% TeX-master: "main"
12 %%% End:
The equivalence problem in algebraic models of programs (some results) (in Russian)