Complexity of the Lambek calculus and its extensions

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, 8 Gubkina St., Moscow, Russia

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

DOI: 10.1007/978-3-031-21780-7_1

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

•