|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Undecidability of a Newly Proposed Calculus for CatLog3
Max Kanovichabc, Stepan Kuznetsovdb, Andre Scedrovbe a University College London, London, UK
b National Research University Higher School of Economics, Moscow, Russia
c Institute of Oriental Studies of the RAS, Languages Department, Moscow, Russia
d Steklov Mathematical Institute of the RAS, Moscow, Russia
e University of Pennsylvania, Philadelphia, USA
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/lncs37
|
|