Персоналии: Джапаридзе Георгий К

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Джапаридзе Георгий К

профессор

доктор физико-математических наук

E-mail:

Сайт:

Основные темы научной работы

Provability and interpretability logics, Game semantics and the theory of interactive computation, Proof theory and deep inference, Complexity theory

	Публикации в базе данных Math-Net.Ru	Цитирования
	1987
1.	С. Н. Артемов, Г. К. Джапаридзе, “Об эффективных предикатных логиках доказуемости”, Докл. АН СССР, 297:3 (1987), 521–523 ; S. N. Artemov, G. K. Japaridze, “Effective predicate logics of provability”, Dokl. Math., 36:3 (1988), 478–480

Организации

Обратная связь: