List of seminars
Archive by years
Register a seminar
You may need the following programs to see the files
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 9, 2012
, Moscow, MSU, auditorium 16-04
One-rule term rewriting system with undecidable termination problem.
D. S. Shamkanov
Number of views:
math-net2018_09 [at] mi-ras ru
Steklov Mathematical Institute RAS