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

Undecidability of the Lambek calculus with a relevant modality

Max Kanovich^ab, Stepan Kuznetsov^c, Andre Scedrov<sup>bd

a</sup> University College London, London, UK
^b National Research University Higher School of Economics, Moscow, Russian Federation
^c Steklov Mathematical Institute, Moscow, Russian Federation
^d University of Pennsylvania, Philadelphia, USA

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

DOI: 10.1007/978-3-662-53042-9_14

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

• 
• 
• 
• 

ArXiv: 1601.06303