Studies in Computational Intelligence
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Main page
About this project
Software
Classifications
Links
Terms of Use
Search papers
Search references
RSS
Current issues
Archive issues
What is RSS
Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register
Studies in Computational Intelligence, 2023, Volume 1081,
Pages
1–29
DOI:
https://doi.org/10.1007/978-3-031-21780-7_1
(Mi sci2)
Complexity of the Lambek calculus and its extensions
Stepan L. Kuznetsov
Steklov Mathematical Institute of RAS, 8 Gubkina St., Moscow, Russia
DOI:
https://doi.org/10.1007/978-3-031-21780-7_1
Bibliographic databases:
Document Type:
Article
Language:
English
Linking options:
https://www.mathnet.ru/eng/sci2
Citing articles in Google Scholar:
Russian citations
,
English citations
Related articles in Google Scholar:
Russian articles
,
English articles
Statistics & downloads
:
Abstract page:
47
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2025