?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Registered all other available (in a sense, initial) versions of the source files.
[algebraic-prog-equiv.git] / hypo-withTests.tex
blobd804e292ddd2f86ce115d202757b48f5aef35f95
1
2 \input hypo-withTests-ndet
3
4 \input hypo-withTests-det
5
6 \input hypo-withTests-multi
7
8 %%% Local Variables:
9 %%% mode: latex
10 %%% TeX-master: "main"
11 %%% End:
The equivalence problem in algebraic models of programs (some results) (in Russian)