Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Artemov, Sergei Nikolaevich
29  Ergebnisse:
Personensuche X
?
1

Gregory Samuilovich Tseytin (obituary):

Artemov, Sergei Nikolaevich ; Beklemishev, Lev Dmitrievich ; Borkin, L Ya...
Russian Mathematical Surveys.  78 (2023)  3 - p. 555-561 , 2023
Link: https://doi.org/10.4213/..
 
?
2

Logical Foundations of Computer Science 

International Symposium, LFCS 2007, New York, NY, USA, June...  Lecture Notes in Computer Science ; 4514;SpringerLink, Bücher
Artemov, Sergej N. ; Nerode, Anil , 2007
Link: http://dx.doi.org/10.100..
 
?
3

The Ontology of Justifications in the Logical Setting:

Artemov, Sergei N.
Studia Logica: An International Journal for Symbolic Logic.  100 (2012)  1/2 - p. 17-30 , 2012
Link: https://www.jstor.org/st..
 
?
4

Logical foundations of computer science 

international symposium, LFCS 2007, New York, NY, USA, June...  Lecture notes in computer science ; 4514
Artemov, Sergei N. ; Nerode, Anil , 2007
Link: http://dx.doi.org/10.100..
 
?
5

Explicit Provability and Constructive Semantics:

Artemov, Sergei N.
The Bulletin of Symbolic Logic.  7 (2001)  1 - p. 1-36 , 2001
Link: https://www.jstor.org/st..
 
?
6

Uniform provability realization of intuitionistic logic, mo..:

Artemov, Sergei N.
Electronic Notes in Theoretical Computer Science.  23 (1999)  1 - p. 3-12 , 1999
Link: https://doi.org/10.1016/..
 
?
7

Logical Foundations of Computer Science: International Symp.. 

Theoretical Computer Science and General Issues, 13137
Artemov, Sergei ; Nerode, Anil - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
8

Logical Foundations of Computer Science: International Symp.. 

Theoretical Computer Science and General Issues, 11972
Artemov, Sergei ; Nerode, Anil - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
9

Logical Foundations of Computer Science 

International Symposium, LFCS 2018, Deerfield Beach, FL, US...  Lecture Notes in Computer Science ; 10703;Theoretical Computer Science and General Issues ; 10703;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Artemov, Sergei ; Nerode, Anil , 2018
Link: https://doi.org/10.1007/..
 
?
10

Logical Foundations of Computer Science 

International Symposium, LFCS 2016, Deerfield Beach, FL, US...  Lecture Notes in Computer Science ; 9537;Theoretical Computer Science and General Issues ; 9537;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Artemov, Sergei ; Nerode, Anil - 1st ed. 2016 . , 2016
Link: https://doi.org/10.1007/..
 
?
11

Logical Foundations of Computer Science 

International Symposium, LFCS 2013, San Diego, CA, USA, Jan...  Lecture Notes in Computer Science ; 7734;SpringerLink, Bücher
Artemov, Sergei ; Nerode, Anil , 2013
Link: https://doi.org/10.1007/..
 
?
12

Discovering knowability: a semantic analysis:

Artemov, Sergei ; Protopopescu, Tudor
Synthese.  190 (2013)  16 - p. 3349-3376 , 2013
Link: https://www.jstor.org/st..
 
?
13

Discovering knowability: a semantic analysis:

Artemov, Sergei ; Protopopescu, Tudor
Synthese.  190 (2012)  16 - p. 3349-3376 , 2012
Link: https://doi.org/10.1007/..
 
?
14

Symposium on Computer Science 

Theory of computing systems ; 46.2010,4, Special issue
Artemov, Sergei ; Razborov, Alexander ; Diekert, Volker , 2010
Exemplar:  Zentrale:Magazin Zs fc 3984-46
 
?
15

Symposium on Computer Science 

[... selected papers from the 2nd International Symposium o...  Theory of computing systems ; 46.2010,1, Special issue
Artemov, Sergei ; Grigoriev, Dima ; Diekert, Volker , 2010
Exemplar:  Zentrale:Magazin Zs fc 3984-46
 
1-15