Formal derivation of graph algorithmic programs using partition-and-recur

DOI10.1007/BF02946498zbMath0910.68090MaRDI QIDQ1273073

Jin-Yun Xue

Publication date: 12 April 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

graph algorithms

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Parallel algorithms in computer science (68W10)

Related Items (3)

A Linear In-situ Algorithm for the Power of Cyclic Permutation ⋮ Algorithm design through the optimization of reuse-based generation ⋮ An algebraic approach to population-based evolutionary algorithm generation

Cites Work

• A note on two problems in connexion with graphs
• Calculating path algorithms
• On a routing problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal derivation of graph algorithmic programs using partition-and-recur