scientific article; zbMATH DE number 512950

MaRDI QIDQ4281665zbMATH OpenFDO

Authors J. P. H. W. van den Eijnde

Publication date 7 April 1994

zbMATH Keywords

fixed-point equations for functions on graphsgraph algorithmsprogram scheme

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Program derivation by fixed point computation
• Calculating graph algorithms for dominance and shortest path
• scientific article; zbMATH DE number 2087342
• Fixed-point calculus
• Fixed points and closure operators: Programmological aspects

Cited in

(2)

• Program derivation by fixed point computation
• Calculating graph algorithms for dominance and shortest path

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