13 citations to https://www.mathnet.ru/rus/lncs5
  1. Mehrnoosh Sadrzadeh, Lutz Straßburger, Lecture Notes in Computer Science, 14672, Logic, Language, Information, and Computation, 2024, 193  crossref
  2. Hadi Wazni, Kin Ian Lo, Lachlan McPheat, Mehrnoosh Sadrzadeh, “Large scale structure-aware pronoun resolution using quantum natural language processing”, Quantum Mach. Intell., 6:2 (2024)  crossref
  3. Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29  mathnet  crossref  scopus
  4. Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni, Gijs Wijnholds, “Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality”, Compositionality, 5 (2023), 2  crossref
  5. Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Non-associative, Non-commutative Multi-modal Linear Logic”, Lecture Notes in Comput. Sci., 13385 (2022), 449–467  mathnet  crossref
  6. M. V. Valinkin, “Versions of a Local Contraction Subexponential in the Lambek Calculus”, Algebra Logic, 61:4 (2022), 271  crossref
  7. С. М. Дудаков, Б. Н. Карлов, С. Л. Кузнецов, Е. М. Фофанова, “Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках”, Алгебра и логика, 60:5 (2021), 471–496  mathnet  crossref  isi  scopus; S. M. Dudakov, B. N. Karlov, S. L. Kuznetsov, E. M. Fofanova, “Complexity of Lambek calculi with modalities and of total derivability in grammars”, Algebra and Logic, 60:5 (2021), 308–326  mathnet  crossref
  8. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The multiplicative-additive Lambek calculus with subexponential and bracket modalities”, J. Logic Lang. Inf., 30 (2021), 31–88  mathnet  crossref  isi  scopus
  9. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Lecture Notes in Comput. Sci., 12166 (2020), 500–517  mathnet  crossref  scopus
  10. Stepan L. Kuznetsov, “A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential”, Lecture Notes in Comput. Sci., 12300 (2020), 3–16  mathnet  crossref  scopus
1
2
Следующая