Found 4 Documents (Results 1–4)
Undecidability of the Lambek calculus with a relevant modality. (English) Zbl 1478.03043
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 240-256 (2016).
Algebraic structures in categorial grammar. (English) Zbl 0902.68108
MSC:
68Q42
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (1)
Serial
- Theor. Comput. Sci. (1)
- J. Logic Lang. Inf. (1)
- Rev. Symb. Log. (1)