No label defined (Q4263153)
From MaRDI portal
scientific article; zbMATH DE number 1341604
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1341604 |
Statements
13 June 2000
0 references
categorial grammars
0 references
provability
0 references
Lambek calculus
0 references
context-free parsing
0 references
noncommutative proof-net
0 references
automatic categorial deduction algorithm
0 references
