Japaridze, Giorgi K
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Number of views: This page: 43 Abstract pages: 94 Full texts: 25
Professor
Doctor of physico-mathematical sciences
E-mail:
email
Website:
http://www.csc.villanova.edu/~japaridz/
Subject:
Provability and interpretability logics, Game semantics and the theory of interactive computation, Proof theory and deep inference, Complexity theory
https://www.mathnet.ru/eng/person114583
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in Math-Net.Ru Citations
1987
1.
S. N. Artemov, G. K. Japaridze, “Effective predicate logics of provability”, Dokl. Akad. Nauk SSSR , 297 :3 (1987), 521–523 Dokl. Math. , 36 :3 (1988), 478–480
Organisations
Contact us: