|
This article is cited in 1 scientific paper (total in 1 paper)
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
Linking options:
https://www.mathnet.ru/eng/lncs37
|
Statistics & downloads: |
Abstract page: | 71 |
|