Computing Tiny Clause Normal Forms (Q4928432)
From MaRDI portal
scientific article; zbMATH DE number 6176203
Language | Label | Description | Also known as |
---|---|---|---|
English | Computing Tiny Clause Normal Forms |
scientific article; zbMATH DE number 6176203 |
Statements
Computing Tiny Clause Normal Forms (English)
0 references
14 June 2013
0 references