Eine strenge Begründung dynamischer Programme und die Bestimmung ausgezeichneter Knoten- oder Kantenmengen in endlichen Graphen

by Gottfried Tinhofer