Geodesic

Volume 31 (1997) no. 6

Sommaire

On generating all solutions of generalized satisfiability problems
p. 499-511
Résultats de complétude pour des classes de types du système 𝒜ℱ2
p. 513-537
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
p. 539-558