An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
An upper bound for the shortest hamiltonian path in the symmetric euclidean case
Application du théorème de Sylvester à la localisation des valeurs propres de dans le cas symétrique
Calcul du centralisateur d'un groupe de permutations
Comparing Routines for the Numerical Solution of Initial Value Problems of Ordinary Differential Equations in Multiple Shooting .
Congruence, Similarity, and Symmetries of Geometric Objects.
Covering with rectangular pieces.
Data types as algorithms
De l'utilisation de la notion de clique (sous-graphe complet symétrique) en matière de typologie de populations
Decomposition of a Symmetric Matrix (Handbook Series Linear Algebra).
Deux constructions équivalentes d'un jeu d'arrangements pour les fichiers inverses multi-indices
Deux problèmes d'analyse d'algorithmes
Die Berechnungskomplexität von elementarsymmetrischen Funkit
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.
Finite alogorithmic procedures and inductive definability.