Max Kanovich

Identifiers

No identifiers captured yet.

Papers (10)

1. Compliance in Real Time Multiset Rewriting Models cs.CC · 2018 · author #1
2. On the Complexity of Pointer Arithmetic in Separation Logic (an extended version) cs.LO · 2018 · author #2
3. Simulating Linear Logic in 1-Only Linear Logic cs.LO · 2017 · author #1
4. A polynomial time algorithm for the Lambek calculus with brackets of bounded order cs.LO · 2017 · author #1
5. Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols cs.LO · 2017 · author #1
6. Undecidability of the Lambek calculus with subexponential and bracket modalities math.LO · 2016 · author #1
7. Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities math.LO · 2016 · author #1
8. Biabduction (and Related Problems) in Array Separation Logic cs.LO · 2016 · author #3
9. Undecidability of the Lambek calculus with a relevant modality math.LO · 2016 · author #1
10. Horn Linear Logic and Minsky Machines cs.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andre Scedrov 6 shared papers
• Stepan Kuznetsov 4 shared papers
• Carolyn Talcott 2 shared papers
• James Brotherston 2 shared papers
• Tajana Ban Kirigin 2 shared papers
• Vivek Nigam 2 shared papers
• Glyn Morrill 1 shared papers
• Nikos Gorogiannis 1 shared papers