On computing representatives

DOI10.1016/S0020-0190(97)00087-2zbMath1336.68272OpenAlexW2023617649MaRDI QIDQ287112

Jesús N. Ravelo, Richard S. Bird

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)

Related Items (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

Cites Work

• Unnamed Item

This page was built for publication: On computing representatives