Result 1 to 20 of 28 total
Prolegomena of a logic of causality and dynamism. (English)
Stud. Log. 62, No.1, 77-105 (1999).
1
Logical synthesis of imperative O. O. programs (English)
LOPSTR, 316-318 (1998).
2
Logic programming at IBM: from the lab to the customer (English)
ICLP, 912-921 (1991).
3
Knowledge representation and automated reasoning (English)
Wissensbasierte Systeme, 233-245 (1987).
4
Streams are not dreams. (English)
Combinators and functional programming languages, Proc. 13th Spring Sch. LITP, Val d’Ajol/France 1985, Lect. Notes Comput. Sci. 242, 1-20 (1986).
5
Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d’Ajol, France, May 6-10, 1985. Proceedings. (English)
Lecture Notes in Computer Science, 242. Berlin etc.: Springer-Verlag. V, 208 p. DM 36.00 (1986).
6
ESOP 86. European symposium on programming. Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings. (English)
Lecture Notes in Computer Science, 213. Berlin etc.: Springer-Verlag. VI, 374 p. DM 50.00 (1986).
7
Streams are not dreams (English)
Combinators and Functional Programming Languages, 1-20 (1985).
8
International symposium on programming. 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings. (English)
Lecture Notes in Computer Science, 167. Berlin etc.: Springer-Verlag. VI, 262 p. DM 34.00; {\$} 13.40 (1984).
9
Les mathematiques de l’informatique. AFCET Colloque, Paris, 16-18 Mars 1982. Mathematics for computer science. AFCET Symposium, Paris 1982. (English)
Sous le patronage de Conservatoire National des Arts et Metiers, Ecole Nationale Superieure des Telecommunications, Institut National de Recherche en Informatique et Automatique. Avec le concours financier de Agence de l’Informatique, Centre National d’Etudes des Telecommunications, Thomson CSF. Paris: AFCET - Association Francaise pour la Cybernetique Economique et Technique. VII, 561 p. FF 135.00 (1982).
10
Sur des séquences itératives de combinateurs. (French)
C. R. Acad. Sci., Paris, Sér. I 295, 29-30 (1982).
11
Les langages de Backus sont des systèmes de manipulation d’arbres. (French)
Les arbres en algebre et en programmation, 5ieme Colloq., Lille 1980, 83-94 (1980).
12
La programmaion fonctionnelle de backus est-elle système de manipulation d’arbres? (English)
CLAAP, 83-94 (1980).
13
Le langage APL. Preface de Jacques Arsac. 2e ed. (French)
Collection Langages et Algorithmes de l’Informatique. Paris: Editions Technip. XI, 251 p. (1979).
14
Transformations de programmes. Actes du 3eme colloque international sur la programmation, Paris 28-30 mars 1978. (Program transformations. Proceedings of the 3rd international symposium on programming, Paris, March 28-30, 1978.). (English)
Collection "Dunod Informatique". Phase Recherche. Paris: Bordas. XXII, 426 p. F. 115.00 (1978).
15
Logique combinatoire et programmation: Une autre approche de la théorie de la programmation. (French)
Univ. Politec. Torino, Rend. Sem. Mat. 36, 35-37 (1978).
16
Sémantique des structures de contrôle. (English)
Rev. Inform. Teor. Apl. 11, No. 1, 63-74 (1977).
17
Un modèle fonctionnel des structures de contrôle. (English)
Rev. Inform. Teor. Apl. 11, No. 3, 213-236 (1977).
18
Un modèle fonctionnel des structures de contrôle. (French)
RAIRO, Inf. Théor. 11, 213-236 (1977).
19
Semantique des structures de contrôle. (French)
RAIRO, Inf. Théor. 11, 63-74 (1977).
20
Result 1 to 20 of 28 total
Start
Contact
Print
General Help
