Descriptional Complexity of Formal Systems. Val. 9118.

doi:10.1007/978-3-319-19225-3

Публикации

?

Descriptional Complexity of Formal Systems

Vol. 9118. Switzerland : Springer, 2015.

Под общей редакцией: J. Shallit, A. Okhotin

Regular Realizability Problems and Context- Free Languages

Рубцов А. А., Вялый М. Н., , in: Descriptional Complexity of Formal SystemsVol. 9118.: Switzerland: Springer, 2015. P. 256–267.

Добавлено: 25 августа 2015 г.

Язык: английский

DOI

Текст на другом сайте

Ключевые слова: automata theory Descriptional Complexity Formal languages

Descriptional Complexity of Formal Systems

Computational Model for Parsing Expression Grammars

Alexander Rubtsov, Chudinov N., , in: 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024).: Leibniz International Proceedings in Informatics (LIPIcs), 2024. Ch. 80 P. 80:1–80:13.

Добавлено: 24 ноября 2024 г.

Automata Under Effective Observation

Бабаш А. В., , in: Proceedings of the 10th International Scientific and Practical Conference named after A. I. Kitov "Information Technologies and Mathematical Methods in Economics and Management (IT&MM-2020)"/, Moscow, Russia, October 15-16, 2020Vol. 2830.: CEUR Workshop Proceedings, 2021. P. 337–359.

A trapdoor cipher is a cipher whose algorithm contains some hidden structure (a trapdoor) providing the existence of a subliminal information channel. In cryptographic practice, there could be situations when a constructed cipher may contain some critical defect (a trapdoor) whose identification can significantly weaken the cryptographic strength of this cipher. In this paper, we ...

Добавлено: 2 ноября 2021 г.

Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings

Switzerland: Springer International Publishing, 2021.

Добавлено: 28 сентября 2021 г.

Re-pairing brackets

Chistikov D., Mikhail Vyalyi, , in: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020.: Association for Computing Machinery (ACM), 2020. P. 312–326.

Добавлено: 4 сентября 2020 г.

Minimizing Deterministic Timed Finite State Machines

Bresolin D., Tvardovskii A., Nina Yevtushenko и др., , in: IFAC-PapersOnLine (T.V.51.Вып 7).: Elsevier, 2018. P. 486–492.

Добавлено: 1 ноября 2018 г.

A Structural Lemma for Deterministic Context-Free Languages

Рубцов А. А., , in: Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings.: Cham: Springer, 2018. P. 553–565.

Добавлено: 12 сентября 2018 г.

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Cham: Springer, 2018.

This volume of Lecture Notes in Computer Science contains the papers presented at the 22nd International Conference on Developments in Language Theory (DLT 2018) organized by the Algorithmic “Oritatami” Self-Assembly Laboratory as part of the 100th Anniversary Commemorative Events of University of Electro-Communications (UEC) in Fuchu, Tokyo, Japan, during September 10–14, 2018. The DLT conference series is one ...

Добавлено: 12 сентября 2018 г.

On Emptiness and Membership Problems for Set Automata

Рубцов А. А., Вялый М. Н., , in: Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, ProceedingsVol. 10846.: Springer, 2018. P. 295–307.

Добавлено: 21 июня 2018 г.

Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем"

Улан-Удэ: Издательство Бурятского госуниверситета, 2017.

Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...

Добавлено: 22 сентября 2017 г.

When are description logic knowledge bases indistinguishable?

Botoeva E., Захарьящев М. В., Kontchakov R. и др., , in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.: Palo Alto: AAAI Press, 2015. P. 4240–4246.