E-LIB Suche - Ergebnisse für: Beklemishev, Lev Dmitrievich

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

Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) (obitua..:

Shen, Alexander ; Адян, Сергей Иванович ; Adian, Sergei Ivanovich...
info:eu-repo/semantics/altIdentifier/doi/10.4213/rm9875. , 2019

Link: https://hal-lirmm.ccsd.c..

3

Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) (obitua..:

Shen, Alexander ; Адян, Сергей Иванович ; Adian, Sergei Ivanovich...
info:eu-repo/semantics/altIdentifier/doi/10.4213/rm9875. , 2019

Link: https://hal-lirmm.ccsd.c..

4

Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) (obitua..:

Shen, Alexander ; Адян, Сергей Иванович ; Adian, Sergei Ivanovich...
info:eu-repo/semantics/altIdentifier/doi/10.4213/rm9875. , 2019

Link: https://hal-lirmm.ccsd.c..

5

Provability, complexity, grammars

Translations / American Mathematical Society ; Ser. 2, v. 192

, 1999

Exemplar: Zentrale:Magazin 02.s.3098

6

Reflection algebras and conservation results for theories o..:

Beklemishev, Lev D. ; Pakhomov, Fedor N.
Annals of Pure and Applied Logic. 173 (2022) 5 - p. 103093 , 2022

Link: https://doi.org/10.1016/..

7

2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLI..:

Beklemishev, Lev
The Bulletin of Symbolic Logic. 25 (2019) 4 - p. 481-530 , 2019

Link: https://www.jstor.org/st..

8

Guest Editorial: Computer Science Symposium in Russia:

Beklemishev, Lev
Theory of Computing Systems. 61 (2017) 2 - p. 462-463 , 2017

Link: https://doi.org/10.1007/..

9

Preface:

Abraham, Uri ; Beklemishev, Lev ; D'Aquino, Paola.
Annals of Pure and Applied Logic. 167 (2016) 10 - p. 865-867 , 2016

Link: https://doi.org/10.1016/..

10

Franco Montagna's Work on Provability Logic and Many-valued..:

Beklemishev, Lev ; Flaminio, Tommaso
Studia Logica: An International Journal for Symbolic Logic. 104 (2016) 1 - p. 1-46 , 2016

Link: http://www.jstor.org/sta..

11

Fields of Logic and Computation II

Essays Dedicated to Yuri Gurevich on the Occasion of His 75... Lecture Notes in Computer Science ; 9300;SpringerLink, Bücher

Beklemishev, Lev D. ; Blaß, Andreas ; Finkbeiner, Bernd.. - 1st ed. 2015 . , 2015

Link: https://doi.org/10.1007/..

12

Computer Science -- Theory and Applications

10th International Computer Science Symposium in Russia, CS... Lecture Notes in Computer Science ; 9139;SpringerLink, Bücher

Beklemishev, Lev D. ; Musatov, Daniil V. , 2015

Link: https://doi.org/10.1007/..

13

On Provability Logics with Linearly Ordered Modalities:

Beklemishev, Lev D. ; Fernández-Duque, David ; Joosten, Joost J.
Studia Logica: An International Journal for Symbolic Logic. 102 (2014) 3 - p. 541-566 , 2014

Link: https://www.jstor.org/st..

14

On Provability Logics with Linearly Ordered Modalities:

Beklemishev, Lev D. ; Fernández-Duque, David ; Joosten, Joost J.
Studia Logica. 102 (2013) 3 - p. 541-566 , 2013

Link: https://doi.org/10.1007/..

15

Logic, language, information and computation

18th international workshop, WoLLIC 2011, Philadelphia, PA,... Lecture notes in computer science ; 6642, Lecture notes in artificial intelligence

Beklemishev, Lev D. ; Queiroz, Ruy de , 2011

Link: http://dx.doi.org/10.100..