Эта публикация цитируется в 9 статьях

On the complexity of the closed fragment of Japaridze's provability logic

F. Pakhomov

Steklov Mathematical Institute, Gubkina str. 8, 119991 Moscow, Russia

Поступила в редакцию: 28.05.2013
Принята в печать: 14.08.2014

Язык публикации: английский

DOI: 10.1007/s00153-014-0397-4

Реферативные базы данных:

• 
• 
• 
•