( en | de | ru )

 

Disambiguierung von "Beklemishev, Lev D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Advances in Modal Logic 11, proceedings of the 11th conference on Ädvances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016

, , und (Hrsg.) College Publications, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ladislav Lev

Lev Stimmer

Lev Baron

Lev Baron

Lev Kadinski

 

Weitere Publikationen von Autoren mit dem selben Namen

Open Least Element Principle and Bounded Query Computation.. CSL, Volume 1683 von Lecture Notes in Computer Science, Seite 389-404. Springer, (1999)Franco Montagna's Work on Provability Logic and Many-valued Logic., und . Stud Logica, 104 (1): 1-46 (2016)Induction Rules, Reflection Principles, and Provably Recursive Functions.. Ann. Pure Appl. Log., 85 (3): 193-242 (1997)On propositional quantifiers in provability logic., und . Notre Dame J. Formal Log., 34 (3): 401-419 (1993)On the query complexity of finding a local maximum point., und . Inf. Process. Lett., 84 (6): 327-332 (2002)Provability, complexity, grammars., , und . American Mathematical Society translations series 2 American Mathematical Society, (1999)Preface., , , und . Ann. Pure Appl. Log., 167 (10): 865-867 (2016)Bimodal Logics for Extensions of Arithmetical Theories.. J. Symb. Log., 61 (1): 91-124 (1996)Calibrating Provability Logic: From Modal Logic to Reflection Calculus.. Advances in Modal Logic, Seite 89-94. College Publications, (2012)Foreword., , , und . Stud Logica, 100 (1-2): 1-7 (2012)