Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper).

Bernhard Möller

Published in: Formal Methods in Programming and Their Applications (1993)

Keyphrases

invited paper
sorting algorithms
data structures and algorithms
weighted graph
database
preprocessing
artificial neural networks
knowledge discovery
lecture notes
rapid development