scientific article; zbMATH DE number 6819817
From MaRDI portal
Publication:4599224
zbMath1376.03033MaRDI QIDQ4599224
Oriol Valentín, Glyn Morrill, Stepan Kuznetsov
Publication date: 18 December 2017
Full work available at URL: https://aclweb.org/anthology/W/W17/W17-3413.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ Bracket induction for Lambek calculus with bracket modalities
This page was built for publication:
