( en | de | ru )

 

Disambiguation of "Kanovich, Max I."

Author of the publication

copydeleteadd this publication to your clipboard
Language models for some extensions of the Lambek calculus.

, , and . Inf. Comput., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nata i i

Tobias Maxisch

Daniel Anton Maxien

Michael Maxisch

Leena Maxin

 

Other publications of authors with the same name

A Logical Framework with Commutative and Non-commutative Subexponentials., , , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 228-245. Springer, (2018)The Complexity of Horn Fragments of Linear Logic.. Ann. Pure Appl. Log., 69 (2-3): 195-241 (1994)Collaborative Planning with Confidentiality., , and . J. Autom. Reason., 46 (3-4): 389-421 (2011)Bounded Memory Dolev-Yao Adversaries in Collaborative Systems., , , and . Formal Aspects in Security and Trust, volume 6561 of Lecture Notes in Computer Science, page 18-33. Springer, (2010)Bounded Memory Protocols and Progressing Collaborative Systems., , , and . ESORICS, volume 8134 of Lecture Notes in Computer Science, page 309-326. Springer, (2013)Inductive methods and contract-signing protocols., , and . ACM Conference on Computer and Communications Security, page 176-185. ACM, (2001)Phase semantics for light linear logic., , and . Theor. Comput. Sci., 294 (3): 525-549 (2003)Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)., , , , and . CoRR, (2023)Undecidability of the Lambek calculus with subexponentials and bracket modalities., , and . CoRR, (2016)Computational and Concurrency Aspects of Linear Logic.. IFIP Congress (1), volume A-51 of IFIP Transactions, page 336-341. North-Holland, (1994)