scientific article; zbMATH DE number 549970

zbMath0797.03024MaRDI QIDQ4287489

Fernando C. N. Pereira

Publication date: 11 October 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ellipsisreference\(\lambda\)Prologcategorial semanticshigher-order hereditary Harrop formulaesemantic interpretation of quantified phrases

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic programming (68N17)

This page was built for publication: