Sergei Tupailo
According to our database1,
Sergei Tupailo
authored at least 9 papers
between 1992 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
1992
1994
1996
1998
2000
2002
2004
2006
2008
2010
0
1
2
3
1
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
2006
Ann. Pure Appl. Log., 2006
2004
J. Symb. Log., 2004
2003
Epsilon Substitution Method for Delta<sup>1</sup><sub>1</sub>-CR: a Constructive Termination Proof.
Log. J. IGPL, 2003
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.
Ann. Pure Appl. Log., 2003
2001
1996
1994
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994
1992
Proceedings of the Logical Foundations of Computer Science, 1992