Sergei N. Artëmov
Orcid: 0000000256056172Affiliations:
 City University of New York, New York City, NY, USA
According to our database^{1},
Sergei N. Artëmov
authored at least 57 papers
between 1990 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on publons.com

on orcid.org

on id.loc.gov

on dnb.info

on andrej.com
On csauthors.net:
Bibliography
2022
J. Log. Comput., 2022
Fundam. Informaticae, 2022
2021
FLAP, 2021
2020
J. Log. Comput., 2020
J. Log. Comput., 2020
J. Log. Comput., 2020
Proceedings of the Logical Foundations of Computer Science  International Symposium, 2020
2018
Proceedings of the Logical Foundations of Computer Science  International Symposium, 2018
2017
CoRR, 2017
2016
Rev. Symb. Log., 2016
J. Log. Comput., 2016
2014
Ann. Pure Appl. Log., 2014
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014
2013
Synth., 2013
2012
Stud Logica, 2012
Ann. Pure Appl. Log., 2012
2010
Theory Comput. Syst., 2010
Theory Comput. Syst., 2010
Ann. Pure Appl. Log., 2010
Proceedings of the Fields of Logic and Computation, 2010
2009
Ann. Pure Appl. Log., 2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2009), 2009
2008
Rev. Symb. Log., 2008
Theory Comput. Syst., 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the Computer Science, 2008
Proceedings of the Pillars of Computer Science, 2008
2007
J. Symb. Log., 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
Proceedings of the Handbook of Modal Logic., 2007
2006
Theor. Comput. Sci., 2006
Theor. Comput. Sci., 2006
Ann. Pure Appl. Log., 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
J. Log. Comput., 2005
Ann. Pure Appl. Log., 2005
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2005), 2005
Existential Semantics for Modal Logic.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
2004
Ann. Pure Appl. Log., 2004
2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
2001
Bull. Symb. Log., 2001
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001
1999
J. Appl. Non Class. Logics, 1999
Uniform provability realization of intuitionistic logic, modality and lambdaterms.
Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999
Proceedings of the Automated Deduction, 1999
1998
Operations on Proofs that can be Specified by Means of Modal Logic.
Proceedings of the Advances in Modal Logic 2, 1998
1997
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
1996
Ann. Pure Appl. Log., 1996
1995
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 2024 March 1994.
Ann. Pure Appl. Log., 1995
1994
J. Symb. Log., 1994
Ann. Pure Appl. Log., 1994
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
1993
Notre Dame J. Formal Log., 1993
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993
1992
Proceedings of the Computer Science Logic, 6th Workshop, 1992
1990
J. Symb. Log., 1990
Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic.
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990