Chapter 8. Algebraic methods for optimization problems

DOI10.1007/3-540-47797-7_8MaRDI QIDQ4738116zbMATH OpenFDO

Authors Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2297/22970281.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 910715
• Algorithms from relational specifications
• scientific article; zbMATH DE number 512948
• scientific article; zbMATH DE number 1273691
• scientific article; zbMATH DE number 977284

Cited in

(3)

• Programming from metaphorisms
• Multi-objective Problems in Terms of Relational Algebra
• scientific article; zbMATH DE number 512948 (Why is no real title available?)

This page was built for publication: Chapter 8. Algebraic methods for optimization problems

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