On computing representatives

DOI10.1016/S0020-0190(97)00087-2MaRDI QIDQ287112zbMATH OpenOpenAlexFDO

Authors Richard S. Bird, Jesús N. Ravelo

Publication date 26 May 2016

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(97)00087-2

zbMATH Keywords

shortest pathscalculus of relationsformal program derivation

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Algorithm for solution of representation problem
• Complexity of representation-of-choice functions as compositions. Asymptotic estimates of complexity characteristics
• scientific article; zbMATH DE number 970619
• Computing tournament solutions using relation algebra and RelView
• Relation-algebraic computation of fixed points with applications

Cited in

(2)

• Simple rectangle-based functional programs for computing reflexive-transitive closures
• Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures

Describes a project that uses

Uses Software

• CalcCheck

This page was built for publication: On computing representatives

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