1 |
Soft Subexponentials and Multiplexing
|
|
|
|
In: Automated Reasoning (2020)
|
|
BASE
|
|
Show details
|
|
2 |
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order
|
|
Morrill, Glyn; Scedrov, Andre; Kuznetsov, Stepan. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. : LIPIcs - Leibniz International Proceedings in Informatics. 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), 2017
|
|
BASE
|
|
Show details
|
|
3 |
A polynomial time algorithm for the Lambek calculus with brackets of bounded order ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Undecidability of the Lambek calculus with subexponential and bracket modalities ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|