Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Georges BLANC

Année
Publications
Files & Ref.IML
1997 Blanc Georges and Liogier Karine
Négation constructive et axiomatique interne [Constructive negation and internal axiomatization],
RAIRO Inform. Théor. Appl. 31, no. 5, 411--428, 1997
[BL97]
1993 Blanc Georges and Bleuzen-Guernalec Noëlle
Constraints in rational abstract models,
Constraint logic programming (Marseille, 1991), 5--16, MIT Press Ser. Logic Program., MIT Press, Cambridge, MA, 1993
 
1992 Blanc Georges and Bleuzen-Guernalec Noëlle
Algèbres effectives dans la programmation logique avec contraintes [Effective algebras in constraint logic programming],
RAIRO Inform. Théor. Appl. 26, no. 3, 221--242, 1992
 
1989 Bleuzen-Guernalec Noëlle and Blanc Georges
Production en temps réel et complexité de structure de suites infinies [Real-time production and structural complexity of infinite sequences],
RAIRO Inform. Théor. Appl. 23, no. 2, 195--216, 1989
 
1980 Blanc Georges
Théories égalitaires dans les langages sur types de graphes,
Algebra Universalis 10, no. 3, 300--332, 1980
 
1979 Blanc Georges
Théories des types de graphes [Theories of types of graphs],
Publ. Dép. Math. (Lyon) 16, no. 3-4, 13--20, 1979
 
1978 Blanc Georges
Équivalence naturelle et formules logiques en théorie des catégories,
Arch. Math. Logik Grundlag. 19, no. 3-4, 131--137, 1978
 
1976 Blanc Georges and Rambaud Christiane
Théories formelles sur graphe,
C. R. Acad. Sci. Paris Sér. A-B 282, no. 20, Ai, A1185--A1188, 1976
 
  Blanc Georges and Donnadieu Marie-Renée
Axiomatisation de la catégorie des catégories,
Cahiers Topologie Géom. Différentielle 17, no. 2, 135--170, 1976
 
1975 Blanc Georges
Langages du premier ordre sur graphes et théorie sur catégorie,
Cahiers Mathématiques, No. 6. U. E. R. de Mathématiques, Université des Sciences et Techniques du Languedoc, Montpellier. 66 pp., 1975
 
  Blanc Georges and Preller Anne
Lawvere's basic theory of the category of categories,
J. Symbolic Logic 40, no. 1, 14--18, 1975
 
1973 Blanc Georges and Preller Anne
Un modèle de la théorie des catégories de Lawvere pour lequel N=1,
C. R. Acad. Sci. Paris Sér. A-B 276, A1391--A1392, 1973
 
1972 Blanc Georges
Catégorie des foncteurs types et structures,
C. R. Acad. Sci. Paris Sér. A-B 274, A1204--A1207, 1972
 
1970 Blanc Georges
Foncteurs types et structures,
Thèse 3eme cycle, Specialité: Mathématiques, Université de Paris VII. Esquisses mathématiques, No. 14, Exp. No. 1, iii+82 pp. Fac. Sci. Univ. Paris VII, Paris, 1970
 


Last update : july 8, 2004, EL.