?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
snapshot (tar.gz zip)
Initial revision
treeb489009d271bea1bf1ab189ef30177434ff7ae5f
-rw-r--r-- 601 uni-papers.bib blob | blame | history | raw
The equivalence problem in algebraic models of programs (some results) (in Russian)