scientific article; zbMATH DE number 4043302

MaRDI QIDQ3780489zbMATH OpenFDO

Authors C. Beierle, U. Pletat

Publication date 1987

zbMATH Keywords

resolutionunificationoperational semanticsequational Horn logicmany-sorted logic programs with equality

Mathematics Subject Classification ID

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

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

(11)

• scientific article; zbMATH DE number 4102471 (Why is no real title available?)
• Equality, types, modules, and (why not?) generics for logic programming
• scientific article; zbMATH DE number 826302 (Why is no real title available?)
• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 1950261 (Why is no real title available?)
• Transforming Boolean equalities into constraints
• Logic programming with equations
• A program transformation from equational programs into logic programs
• Equality, types, modules, and (why not?) generics for logic programming
• From Boolean equalities to constraints
• scientific article; zbMATH DE number 3958699 (Why is no real title available?)

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)