Lev D. Beklemishev
Orcid: 0000000229490600
According to our database^{1},
Lev D. Beklemishev
authored at least 38 papers
between 1991 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on orcid.org

on id.loc.gov

on dnb.info
On csauthors.net:
Bibliography
2022
Ann. Pure Appl. Log., 2022
2019
J. Symb. Log., 2019
2018
Log. J. IGPL, 2018
A Universal Algebra for the VariableFree Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇.
Proceedings of the Logical Foundations of Computer Science  International Symposium, 2018
2017
Theory Comput. Syst., 2017
Proceedings of the Logic, Language, Information, and Computation, 2017
2016
Stud Logica, 2016
Ann. Pure Appl. Log., 2016
2015
CoRR, 2015
2014
Stud Logica, 2014
J. Log. Comput., 2014
J. Comput. Syst. Sci., 2014
Ann. Pure Appl. Log., 2014
2013
Ann. Pure Appl. Log., 2013
2012
Stud Logica, 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
J. Log. Comput., 2011
2010
Ann. Pure Appl. Log., 2010
2009
Proceedings of the Logic, Language, and Computation, 2009
2005
J. Log. Comput., 2005
J. Log. Comput., 2005
On the limit existence principles in elementary arithmetic and Sigma <sub>n</sub> <sup>0</sup>consequences of theories.
Ann. Pure Appl. Log., 2005
2004
Ann. Pure Appl. Log., 2004
2003
J. Symb. Log., 2003
Arch. Math. Log., 2003
2002
Inf. Process. Lett., 2002
1999
Theor. Comput. Sci., 1999
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
Provability, complexity, grammars.
American Mathematical Society translations series 2 192, American Mathematical Society, ISBN: 9780821810781, 1999
1998
Arch. Math. Log., 1998
1997
Ann. Pure Appl. Log., 1997
Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997
1996
J. Symb. Log., 1996
1995
Ann. Pure Appl. Log., 1995
1994
Ann. Pure Appl. Log., 1994
1993
Notre Dame J. Formal Log., 1993
Arch. Math. Log., 1993
1991
Stud Logica, 1991