scientific article; zbMATH DE number 1104359
From MaRDI portal
Publication:4370233
zbMath0885.03028MaRDI QIDQ4370233
Publication date: 2 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
tree adjoining grammarnatural deductionresource sensitive logicscategorial grammarlinear logic proof-netssyntactic constraintsextended domain of localitypartial proof trees
Related Items (1)
This page was built for publication: