?
Subexponentials in non-commutative linear logic
P. 1217–1249.
Linear logical frameworks with subexponentials have been used for the specification of,among other systems, proof systems, concurrent programming languages and linearauthorisation logics. In these frameworks, subexponentials can be configured to allow or notfor the application of the contraction and weakening rules while the exchange rule canalways be applied. This means that formulae in such frameworks can only be organised assets and multisets of formulae not being possible to organise formulae as lists of formulae.This paper investigates the proof theory of linear logic proof systems in thenon-commutative variant. These systems can disallow the application of exchange rule onsome subexponentials. We investigate conditions for when cut elimination is admissible inthe presence of non-commutative subexponentials, investigating the interaction of theexchange rule with the local and non-local contraction rules. We also obtain some newundecidability and decidability results on non-commutative linear logic with subexponentials
In book
Kanovich M., Kuznetsov S., Scedrov A., Nigam V. Vol. 29. Issue 8. , Cambridge University Press, 2019.
NY: Association for Computing Machinery (ACM), 2026.
It is our great pleasure to welcome you to the 35th edition of the Web Conference to be held on June 29 – July 3, 2026, in Dubai, United Arab Emirates.
Following discussions with our partners and key stakeholders, we have taken the decision to postpone the ACM Web Conference 2026, initially planned for April 2026. ...
Added: April 23, 2026
Алматы: Институт информационных и вычислительных технологий КН МНВО РК, 2024.
The collection contains papers presented by scientists from the Republic of Kazakhstan, the Russian Federation, Latvia, Poland, the Republic of Belarus, Japan, Iran, Malaysia, the Kyrgyz Republic, the Republic of Uzbekistan, and others. It addresses current issues in mathematics, computer science, and management, including mathematical modeling of complex systems and business processes, research and development ...
Added: March 3, 2026
Obiedkov S., Switzerland: Springer, 2024.
This book constitutes the proceedings of the First International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2024, which took place in Cádiz, Spain, during September 9-13, 2024. The conference is an amalgamation of the 18th International Conference on Formal Concept Analysis (ICFCA); the 17th International Conference on Concept Lattices and Their Applications (CLA); and the 28th ...
Added: January 23, 2026
Singapore: Springer, 2024.
This book collects selected aspects of recent advances and experiences, emerging technology trends that have positively impacted our world from operators, authorities, and associations from CCIE 2024, to help address the world’s advanced computing, control technology, information technology, artificial intelligence, machine learning, deep learning, and neural networks. Meanwhile, the topics included in the proceedings have ...
Added: November 6, 2025
Springer, 2025.
The 26th International Conference on Descriptional Complexity of Formal Systems (DCFS 2025) was held in Loughborough, UK, on July 22–24, 2025 and was organized by the Department of Computer Science at Loughborough University, in association with the IFIP Working Group 1.02 “Descriptional Complexity”. DCFS is an annual international conference concerning the descriptional complexity of formal ...
Added: August 24, 2025
Kulya M., Pusev R., Moskvitin D., , in: 2025 International Russian Smart Industry Conference (SmartIndustryCon).: Sochi: IEEE, 2025. P. 83–88.
We claim the method to obtain a reliable queuing one-way delay metric for the wireless computer networking systems. The method requires only a measurement of the timestamp series between packet departure and arrival events. These timestamps are included inside the packets with stream frames. Thus, the method does not need to involve any additional probe ...
Added: May 19, 2025
[б.и.], 2022.
Launched in 2010, Procedia Computer Science disseminates high quality conference proceedings across all topics of Computer Science research. Selected conference proceedings are published open access in a dedicated online Procedia volume on ScienceDirect. ...
Added: May 10, 2025
Switzerland: Springer, 2025.
The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic form. While the focus is on publication of peer-reviewed full papers presenting mature work, inclusion of reviewed short papers reporting on work in progress is welcome, ...
Added: April 29, 2025
Springer Publishing Company, 2022.
The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic form. While the focus is on publication of peer-reviewed full papers presenting mature work, inclusion of reviewed short papers reporting on work in progress is welcome, ...
Added: February 28, 2025
Springer, 2024.
Added: January 28, 2025
Springer, 2024.
Added: October 23, 2024
Baixeries J., D.I. Ignatov, S.O. Kuznetsov et al., Automation and Remote Control 2024 Vol. 85 No. 3 P. 259–261
This special issue of Automation and Remote Control contains some scientific results presented at the 25th International Conference on Data Analytics and Management in Data-Intensive Domains (DAMDID/RCDL-2023). The conference was held on October 24–27, 2023, at National Research University Higher School of Economics (HSE) in Moscow, Russia. The reader is offered the full texts of ...
Added: May 14, 2024
Amirdjanov G. P., Gurevich I. B., Kostyuk F. V. et al., Pattern Recognition and Image Analysis 2023 Vol. 33 No. 4 P. 988–1049
The review presents the history of the creation and work of the Scientific Council “Cybernetics” (SCC)—the center for development of cybernetics in the USSR and Russia. The Council’s activity is covered as a structure that coordinates scientific and technical activity in cybernetics in the country via a system of sections: about 16 public and professional ...
Added: March 13, 2024
IEEE, 2022.
Added: March 5, 2024
Plaksin M. A., В кн.: Методы и технологии обучения в вузе в условиях цифровой трансформации образования. Сборник статей по материалам Всероссийской (с международным участием) научно-методической конференции.: Пермь: Пермский государственный национальный исследовательский университет, 2023. С. 735–740.
The role of business games in the educational process is considered. Business games allow you to cheaply and quickly gain practical experience, demonstrate the meaning of theoretical concepts. Compared with the real production process, business games allow you to repeat training activities many times, consider possible deviations from the norm, emergency situations. The application of ...
Added: February 29, 2024
Воронова К. Д., Plaksin M. A., В кн.: Актуальные проблемы математики, механики и информатики 2022: Сборник статей по материалам студенческой конференции (г. Пермь, ПГНИУ, 25 мая – 10 июня 2022 г.).: Пермь: ПГНИУ, 2022. С. 25–29.
The rapid development of parallel computing technologies makes it urgent to include propaedeutics of parallel computing in the school computer science course. Since this topic is not yet included in the school curriculum, it can be done through extracurricular activities, in particular, through Internet contests. Since 2013, parallel computing tasks have become a compulsory part ...
Added: February 29, 2024
И. Сафило, Тихонович Д., Петров А. et al., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 2 С. 333–342
We present a new movie and TV show recommendation dataset collected from the real users of MTS Kion video-on-demand platform. In contrast to other popular movie recommendation datasets, such as MovieLens or Netflix, our dataset is based on the implicit interactions registered at the watching time, rather than on explicit ratings. We also provide rich ...
Added: February 13, 2024
Berlin: Springer, 2023.
This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11–13, 2023.
The 9 full papers, 5 short papers and 4 Posters are included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Complexity and Database Theory, Formal ...
Added: November 23, 2023
Cham: Springer, 2023.
Added: August 19, 2023
Springer, 2023.
The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research, teaching, and education ...
Added: May 18, 2023
Association for Computing Machinery (ACM), 2023.
Welcome to the 54th annual SIGCSE Technical Symposium on Computer Science Education (SIGCSE TS 2023). Recent years have seen numerous milestones for the SIGCSE Technical Symposium such as its 50th anniversary, and the first online and hybrid symposiums. This year we celebrate another milestone: the first SIGCSE Technical Symposium held outside of the United States. ...
Added: April 2, 2023
Dordrecht: Atlantis Press, 2022.
The 3rd International Conference on Big Data and Social Sciences (ICBDSS 2022) was successfully held on August 19–21, 2022, in Hulunbuir, China. Given the current developments regarding the novel coronavirus, it was held in the form of both physical and virtual conference. ICBDSS 2022 provided a platform for experts, scholars, and engineering technicians to share ...
Added: February 18, 2023
St. Petersburg: Springer, 2022.
The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research, teaching, and education ...
Added: December 9, 2022