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

Undecidability of the Lambek calculus with subexponential and bracket modalities

Max Kanovich^a, Stepan Kuznetsov^ba, Andre Scedrov<sup>c

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

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

DOI: 10.1007/978-3-662-55751-8_26

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

• 
• 
•