Evgeny Dantsin
Ph.D. Steklov Institute of Mathematics 1983
Dissertation:
Splitting-Based Proof Systems for Propositional Tautologies
Advisor: Sergei Yurievich Maslov
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Hirsch, Edward | St. Petersburg State University and Steklov Institute of Mathematics, St. Petersburg | 1998 | 13 |
According to our current on-line database, Evgeny Dantsin has 1 student and 14 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 19390 for the advisor ID.