Ein neuer Algorithmus zur Bestimmung einer basis von unabhängigen elementarkreisen in einem stark zusammenhängenden Graphen
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
Empilements de cercles : convergence d'une méthode de point fixe
Empilements de cercles: Convergence d'une méthode de point fixe.
Équations linéaires dans les anneaux de polynômes
Extrapolation Applied to the Method of Characteristics for a first Order System of Two Partial Differential Equations. Part One : The Initial Value Problem.