Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sergei N. Artëmov" ( http://dblp.L3S.de/Authors/Sergei_N._Artëmov )

URL (Homepage):  http://web.cs.gc.cuny.edu/~sartemov/  Author page on DBLP  Author page in RDF  Community of Sergei N. Artëmov in ASPL-2

Publication years (Num. hits)
1990-1999 (15) 2001-2007 (17) 2008-2012 (14)
Publication types (Num. hits)
article(24) inproceedings(18) proceedings(4)
Venues (Conferences, Journals, ...)
Ann. Pure Appl. Logic(10) LFCS(5) CSL(3) J. Symb. Log.(3) TARK(3) Theory Comput. Syst.(3) We Will Show Them!(3) Theor. Comput. Sci.(2) Advances in Modal Logic(1) Bulletin of Symbolic Logic(1) CADE(1) CSR(1) Electr. Notes Theor. Comput. S...(1) Fields of Logic and Computatio...(1) J. Log. Comput.(1) JELIA(1) More (+10 of total 22)
Authors
Sergei N. Artëmov(46) Anil Nerode(4) Elena Nogina(3) Volker Diekert(3) Artur S. d'Avila Garcez(2) Dima Grigoriev(2) Howard Barringer(2) John Woods(2) Luís C. Lamb(2) Roman Kuznets(2) Tyko Straßen(2) Vladimir Krupski(2) Yuri Matiyasevich(2) Albert Visser(1) Alexander A. Razborov(1) Anatol Slissenko(1) More (+10 of total 36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 46 publication records. Showing 46 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Sergei N. Artëmov The Ontology of Justifications in the Logical Setting. Search on Bibsonomy Studia Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Anil Nerode Preface. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Yuri Matiyasevich, Grigori Mints, Anatol Slissenko Preface. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Volker Diekert, Alexander A. Razborov Preface. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Volker Diekert, Dima Grigoriev Preface. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Tracking Evidence. Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Preface. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Preface. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Anil Nerode (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Roman Kuznets Logical omniscience as a computational complexity problem. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Volker Diekert, Dima Grigoriev Foreword. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Elena Nogina Topological Semantics of Justification Logic. Search on Bibsonomy CSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Justification Logic, Logic of Proofs, topological semantics, Tarski, modal logic
1Sergei N. Artëmov Justification Logic. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Symmetric Logic of Proofs. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Rosalie Iemhoff The basic intuitionistic logic of proofs. Search on Bibsonomy J. Symb. Log. The full citation details ... 2007 DBLP  BibTeX  RDF
1Sergei N. Artëmov, Anil Nerode (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Sergei N. Artëmov, Eduardo Bonelli The Intensional Lambda Calculus. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Michael W. Mislove Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Justified common knowledge. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yuri Matiyasevich, Sergei N. Artëmov Preface. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Roman Kuznets Logical Omniscience Via Proof Complexity. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Elena Nogina Introducing Justification into Epistemic Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov WoLLIC'2002. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Existential Semantics for Modal Logic. Search on Bibsonomy We Will Show Them! The full citation details ... 2005 DBLP  BibTeX  RDF
1Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, Volume One Search on Bibsonomy We Will Show Them! The full citation details ... 2005 DBLP  BibTeX  RDF
1Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two Search on Bibsonomy We Will Show Them! The full citation details ... 2005 DBLP  BibTeX  RDF
1Sergei N. Artëmov, Elena Nogina On epistemic logic with justification. Search on Bibsonomy TARK The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski Editorial. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Back to the Future: Explicit Logic for Computer Science (Invited Lecture). Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Explicit provability and constructive semantics. Search on Bibsonomy Bulletin of Symbolic Logic The full citation details ... 2001 DBLP  BibTeX  RDF
1Jesse Alt, Sergei N. Artëmov Reflective lambda-Calculus. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Realization of Intuitionistic Logic by Proof Polynomials. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 1999 DBLP  BibTeX  RDF
1Sergei N. Artëmov Uniform provability realization of intuitionistic logic, modality and lambda-terms. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov On Explicit Reflection in Theorem Proving and Formal Verification. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov Operations on Proofs that can be Specified by Means of Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 1998 DBLP  BibTeX  RDF
1Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode Topological Semantics for Hybrid Systems. Search on Bibsonomy LFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Vladimir Krupski Data Storage Interpretation of Labeled Modal Logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1995 DBLP  BibTeX  RDF
1Sergei N. Artëmov, Franco Montagna On First-Order Theories with Provability Operator. Search on Bibsonomy J. Symb. Log. The full citation details ... 1994 DBLP  BibTeX  RDF
1Sergei N. Artëmov Logic of Proofs. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Vladimir Krupski Referential Data Structures and Labeled Modal Logic. Search on Bibsonomy LFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Lev D. Beklemishev On propositional quantifiers in provability logic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1993 DBLP  BibTeX  RDF
1Sergei N. Artëmov, Tyko Straßen The Logic of the Gödel Proof Predicate. Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Tyko Straßen The Basic Logic of Proofs. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Giorgie Dzhaparidze Finite Kripke Models and Predicate Logics of Provability. Search on Bibsonomy J. Symb. Log. The full citation details ... 1990 DBLP  BibTeX  RDF
1Sergei N. Artëmov Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic. Search on Bibsonomy TARK The full citation details ... 1990 DBLP  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.