TY - GEN AU - Michel, P. AU - AU - Ressayre, J.P. TI - Séminaire de complexité algorithmique et de logique : 1986-1987-1988 CY - Paris KW - 51 - Mathematiques KW - 5 - SCIENCES EXACTES ET NATURELLES KW - Logique KW - Algorithme ER -