Andre Scedrov

Identifiers

No identifiers captured yet.

Papers (6)

1. Compliance in Real Time Multiset Rewriting Models cs.CC · 2018 · author #4
2. A polynomial time algorithm for the Lambek calculus with brackets of bounded order cs.LO · 2017 · author #4
3. Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols cs.LO · 2017 · author #4
4. Undecidability of the Lambek calculus with subexponential and bracket modalities math.LO · 2016 · author #3
5. Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities math.LO · 2016 · author #3
6. Undecidability of the Lambek calculus with a relevant modality math.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Max Kanovich 6 shared papers
• Stepan Kuznetsov 4 shared papers
• Carolyn Talcott 2 shared papers
• Tajana Ban Kirigin 2 shared papers
• Vivek Nigam 2 shared papers
• Glyn Morrill 1 shared papers