?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merging the final RCS state of a file.
[algebraic-prog-equiv.git] / free-withTests-multi.tex
bloba96fc3c40efae894b8bc020940d0d7e9b0c770cd
1 íÏÄÅÌÉÒ DFA? (dfa -- ÓÈ ñÎÏ×Á?)
2
3 %%% Local Variables:
4 %%% mode: latex
5 %%% TeX-master: "main"
6 %%% End:
The equivalence problem in algebraic models of programs (some results) (in Russian)