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