Georges Blanc

Publication Activity (10 Years)

Years Active: 1975-1992
Publications (10 Years): 0

Publications

Georges Blanc, Noëlle Bleuzen-Guernalec
Algèbres effectives dans la programmation logique avec constraintes. RAIRO Theor. Informatics Appl. 26 (1992)
Georges Blanc, Noëlle Bleuzen-Guernalec
Constraints in Rational Abstract Models. WCLP (1991)
Noëlle Bleuzen-Guernalec, Georges Blanc
Production En Temps Réel Et Complexité De Structure De Suites Infinies. RAIRO Theor. Informatics Appl. 23 (2) (1989)
Georges Blanc
Équivalence naturelle et formules logiques en théorie des catégories. Arch. Math. Log. 19 (1) (1978)
Georges Blanc, Anne Preller
Lawvere's Basic Theory of the Category of Categories. J. Symb. Log. 40 (1) (1975)