This article is cited in 1 paper

Undecidability of a Newly Proposed Calculus for CatLog3

Max Kanovich^abc, Stepan Kuznetsov^db, Andre Scedrov<sup>be

a</sup> 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

Language: English

DOI: 10.1007/978-3-662-59648-7_5

Bibliographic databases:

• 
•