scientific article; zbMATH DE number 549956

MaRDI QIDQ4287475zbMATH OpenFDO

Authors Paul Y. Gloess

Publication date 12 April 1994

zbMATH Keywords

constructive semantics of a Prolog extension to filterslower lattice of filterstype semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Order-sorted unification
• scientific article; zbMATH DE number 67965
• Computational aspects of an order-sorted logic with term declarations
• scientific article; zbMATH DE number 1330426
• Equality, types, modules, and (why not?) generics for logic programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287475)