Séminaire de complexité algorithmique et de logique 1986-1987-1988/
P. Michel, J.P. Ressayre.
- Paris: U.E.R. de Mathemátiques, 1989.
- 100 p.: ill.; 23 cm.
- Publications mathématiques de l°Université Paris 7, 0073-8301 .
- Publications mathématiques de l'Université Paris VII .
Includes bibliographical references.
Logique symbolique et mathématique. Algorithmes. Logic, Symbolic and mathematical. Algorithms.