On computing representatives

DOI10.1016/S0020-0190(97)00087-2zbMATH Open1336.68272OpenAlexW2023617649MaRDI QIDQ287112FDOQ287112

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

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

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)

Cites Work

• Title not available (Why is that?)

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

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)