Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Mots-clés
Full text
Previous
Diagrammes
Volume 23 (1990)
Next
Actes Volume 2. Journées d'études esquisses, logique et informatique théorique
Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
DIA
p. 5
Construction of an homology and a cohomology theory associated to a first order formula
Guitart, René
p. 7-13
Booloïdes
Koudsi, Elie
;
Diers, Yves
p. 15-41
Substitution up to isomorphism
Curien, P.-L.
p. 43-66
A theory of software reusability
Gaudel, M. C.
;
Moineau, Th.
p. 67-84