Studies in Computational Intelligence
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
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, 2022, Volume 999, Pages 1–24
DOI: https://doi.org/10.1007/978-3-030-90138-7_1 (Mi sci1) 		 
This article is cited in 1 scientific paper (total in 1 paper)

Decidable fragments of calculi used in CatLog

Max. I. Kanovichab, Stepan G. Kuznetsovc, Stepan L. Kuznetsovbd, Andre Scedrove

a University College London, London, UK
b Computer Science Department, HSE University, Moscow, Russia
c Mathematics Department, HSE University, Moscow, Russia
d Steklov Mathematical Institute of RAS, Moscow, Russia
e Department of Mathematics, University of Pennsylvania, Philadelphia, USA
Citations (1)
DOI: https://doi.org/10.1007/978-3-030-90138-7_1
Funding agency Grant number
Engineering and Physical Sciences Research Council EP/R006865/1
HSE Academic Fund Programme 21-04-027
Ministry of Science and Higher Education of the Russian Federation MK-1184.2021.1.1
Russian Foundation for Basic Research 20-01-00435
The work of Max Kanovich was partially supported by EPSRC Programme Grant EP/R006865/1: “Interface Reasoning for Interacting Systems (IRIS).” The part by Stepan G. Kuznetsov was prepared within the framework of the Academic Fund Program at HSE University in 2021–2022 (grant № 21-04-027). The work of Stepan L. Kuznetsov and the early part of the work of Andre Scedrov (until July 2020) was performed within the framework of the HSE University Basic Research Program. The work of Stepan L. Kuznetsov was also partially supported by the Council of the President of Russia for Support of Young Russian Researchers and Leading Research Schools of the Russian Federation (grant MK-1184.2021.1.1) and by the Russian Foundation for Basic Research (grant № 20-01-00435).
Bibliographic databases:
Document Type: Article
Language: Russian
Linking options:
  • https://www.mathnet.ru/eng/sci1
    • This publication is cited in the following 1 articles:
    1. Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29  mathnet  crossref  scopus
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:98
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025