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
|
|
4 |
A polynomial time algorithm for the Lambek calculus with brackets of bounded order ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Formal Grammar : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
12 |
Theory of Discontinuous Lambek Calculus
|
|
|
|
In: TDX (Tesis Doctorals en Xarxa) (2012)
|
|
BASE
|
|
Show details
|
|
|
|