Sergei N. Artëmov
Orcid: 0000-0002-5605-6172Affiliations:
- City University of New York, New York City, NY, USA
According to our database1,
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 d-nb.info
-
on andrej.com
On csauthors.net:
Bibliography
2022
2021
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
2016
2014
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014
2013
2012
2010
2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009
2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the Computer Science, 2008
2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005
Existential Semantics for Modal Logic.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
2004
2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
2001
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001
1999
J. Appl. Non Class. Logics, 1999
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
1995
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.
Ann. Pure Appl. Log., 1995
1994
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
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
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