Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Scedrov, Andre
101  Ergebnisse:
Personensuche X
?
1

Logic, Language, Information, and Computation: 29th Interna.. 

Lecture Notes in Computer Science, 13923
Hansen, Helle Hvid ; Scedrov, Andre ; de Queiroz, Ruy J.G.B - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
2

On the Security and Complexity of Periodic Systems:

Alturki, Musab A. ; Ban Kirigin, Tajana ; Kanovich, Max...
SN Computer Science.  3 (2022)  5 - p. , 2022
Link: https://doi.org/10.1007/..
 
?
3

Non-associative, Non-commutative Multi-modal Linear Logic:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Blaisdell, Eben ; Kanovich, Max ; Kuznetsov, Stepan L... - p. 449-467 , 2022
Link: https://doi.org/10.1007/..
 
?
4

On the Formalization and Computational Complexity of Resili..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,
Alturki, Musab A. ; Ban Kirigin, Tajana ; Kanovich, Max... - p. 96-113 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Language models for some extensions of the Lambek calculus:

Kanovich, Max ; Kuznetsov, Stepan ; Scedrov, Andre
Information and Computation.  287 (2022)  - p. 104760 , 2022
Link: https://doi.org/10.1016/..
 
?
6

Decidable Fragments of Calculi Used in CatLog:

, In: Studies in Computational Intelligence; Natural Language Processing in Artificial Intelligence — NLPinAI 2021,
Kanovich, Max I. ; Kuznetsov, Stepan G. ; Kuznetsov, Stepan L.. - p. 1-24 , 2021
Link: https://doi.org/10.1007/..
 
?
7

On the Complexity of Verification of Time-Sensitive Distrib..:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,
Kanovich, Max ; Kirigin, Tajana Ban ; Nigam, Vivek.. - p. 251-275 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Correction to: The Multiplicative-Additive Lambek Calculus ..:

Kanovich, Max ; Kuznetsov, Stepan ; Scedrov, Andre
Journal of Logic, Language and Information.  30 (2020)  1 - p. 89-89 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Soft Subexponentials and Multiplexing:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Kanovich, Max ; Kuznetsov, Stepan ; Nigam, Vivek. - p. 500-517 , 2020
Link: https://doi.org/10.1007/..
 
?
10

The Multiplicative-Additive Lambek Calculus with Subexponen..:

Kanovich, Max ; Kuznetsov, Stepan ; Scedrov, Andre
Journal of Logic, Language and Information.  30 (2020)  1 - p. 31-88 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Reconciling Lambek's restriction, cut-elimination and subst..:

Scedrov, Andre ; Kuznetsov, Stepan ; Kanovich, Max
Journal of Logic and Computation.  30 (2020)  1 - p. 239-256 , 2020
Link: https://doi.org/10.1093/..
 
?
12

L-Models and R-Models for Lambek Calculus Enriched with Add..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Kanovich, Max ; Kuznetsov, Stepan ; Scedrov, Andre - p. 373-391 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Undecidability of a Newly Proposed Calculus for CatLog3:

, In: Formal Grammar; Lecture Notes in Computer Science,
Kanovich, Max ; Kuznetsov, Stepan ; Scedrov, Andre - p. 67-83 , 2019
Link: https://doi.org/10.1007/..
 
?
14

A Multiset Rewriting Model for Specifying and Verifying Tim..:

, In: Foundations of Security, Protocols, and Equational Reasoning; Lecture Notes in Computer Science,
Alturki, Musab A. ; Ban Kirigin, Tajana ; Kanovich, Max... - p. 192-213 , 2019
Link: https://doi.org/10.1007/..
 
?
15

The Complexity of Multiplicative-Additive Lambek Calculus: ..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Kanovich, Max ; Kuznetsov, Stepan ; Scedrov, Andre - p. 356-372 , 2019
Link: https://doi.org/10.1007/..
 
1-15