Evgeny Dantsin
Original record- Institution
- Steklov Institute of Mathematics
- Year
- 1983
- Country
- Russia
- MGP identifier
- 19390
Dissertation: Splitting-Based Proof Systems for Propositional Tautologies
Advisor 1
- Sergei Yurievich MaslovSt. Petersburg State University · 1964
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Edward Alekseevich Hirsch | St. Petersburg State University and Steklov Institute of Mathematics, St. Petersburg | 1998 | 8 |