scientific article; zbMATH DE number 1303447

MaRDI QIDQ4250058zbMATH OpenFDO

Authors Eric de Kogel, Harrie de Swart

Publication date 6 April 2000

zbMATH Keywords

equational theoriesfixpointslist manipulations in Prologreduction procedures in logic programmingrelational algebra

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Complete lattices, completions (06B23) Logic programming (68N17)

Cited in

(4)

• Reflective programming in the relational algebra
• Reduction definition of problems of matrix algebra
• scientific article; zbMATH DE number 1735900 (Why is no real title available?)
• Rotations in the plane and Prolog

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 Q4250058)