Roman Kuznets

Roman Kuznets

Institute of Computer Science of the Czech Academy of Sciences
在 logic.at 的电子邮件经过验证
被引用次数：1254
Modal Logic Distributed Systems Proof Theory Justification Logic Complexity Theory
Meghdad Ghari

Meghdad Ghari

University of Isfahan
在 ltr.ui.ac.ir 的电子邮件经过验证
被引用次数：130
Justification Logic Modal Logic Structural Proof Theory
Nicholas Pischke

Nicholas Pischke

TU Darmstadt
在 mathematik.tu-darmstadt.de 的电子邮件经过验证
被引用次数：81
Proof Mining Nonlinear Analysis Justification Logic Gödel logic
Alexander Kashev

Alexander Kashev

University of Bern
在 unibe.ch 的电子邮件经过验证
被引用次数：67
Mathematical Logic Computer Science Justification Logic
Konstantinos Pouliasis

Konstantinos Pouliasis

CUNY Graduate Center
在 gradcenter.cuny.edu 的电子邮件经过验证
被引用次数：11
Modal Logic Justification Logic Type Theory Programming Languages