Cached version (3378s old)
University
analysis
computer-science
decidability
latex
paper
program-analysis
russian
thesis
algebra
| Project | Description | Owner | Last Change | |
|---|---|---|---|---|
| algebraic-prog-equiv.git | The equivalence problem in algebraic models... | imz@altlinux.org | 15 years ago | summarylogtree |