scientific article; zbMATH DE number 4043302

MaRDI QIDQ3780489zbMATH OpenFDO

Authors C. Beierle, U. Pletat

Publication date 1987

zbMATH Keywords

equational Horn logicmany-sorted logic programs with equalityoperational semanticsresolutionunification

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Equality, types, modules, and (why not?) generics for logic programming
• Logic programming with equations
• Equality, types, modules, and (why not?) generics for logic programming
• A theory of complete logic programs with equality
• scientific article; zbMATH DE number 4018380

Cited in

(12)

• Transforming Boolean equalities into constraints
• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• Comments on “logic programming with equations”
• scientific article; zbMATH DE number 3958699 (Why is no real title available?)
• Logic programming with equations
• scientific article; zbMATH DE number 4102471 (Why is no real title available?)
• scientific article; zbMATH DE number 1950261 (Why is no real title available?)
• A program transformation from equational programs into logic programs
• scientific article; zbMATH DE number 826302 (Why is no real title available?)
• From Boolean equalities to constraints
• Equality, types, modules, and (why not?) generics for logic programming
• 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 Q3780489)