 | 1999 |
|---|
| 14 |       | Patrick Bellot,
J.-P. Cottin,
Bernard Robinet,
Djamil Sarni,
J. Leneutre,
Emmanuel Zarpas:
Prolegomena of a Logic of Causality and Dynamism.
Studia Logica 62(1): 77-105 (1999) |
| 1998 |
|---|
| 13 |  | Patrick Bellot,
Bernard Robinet:
Logical Synthesis of Imperative O. O. Programs.
LOPSTR 1998: 316-318 |
| 1991 |
|---|
| 12 | | Bernard Robinet:
Logic Programming at IBM: From the Lab to the Customer.
ICLP 1991: 912-921 |
| 1987 |
|---|
| 11 | | Bernard Robinet:
Knowledge Representation and Automated Reasoning.
Wissensbasierte Systeme 1987: 233-245 |
| 1986 |
|---|
| 10 | | Bernard Robinet,
Reinhard Wilhelm:
ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings
Springer 1986 |
| 9 | | Guy Cousineau,
Pierre-Louis Curien,
Bernard Robinet:
Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings
Springer 1986 |
| 1985 |
|---|
| 8 | | Patrick Bellot,
Bernard Robinet:
Streams are not Dreams.
Combinators and Functional Programming Languages 1985: 1-20 |
| 1984 |
|---|
| 7 | | Manfred Paul,
Bernard Robinet:
International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings
Springer 1984 |
| 1980 |
|---|
| 6 | | Bernard Robinet:
International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980
Springer 1980 |
| 5 | | Bernard Robinet:
La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres?
CLAAP 1980: 83-94 |
| 1977 |
|---|
| 4 | | Bernard Robinet,
François Nozick:
Sémantique des Structures de Contrôle.
ITA 11(1): 63-74 (1977) |
| 3 | | Bernard Robinet:
Un Modèle Fonctionnel des Structures de Contrôle.
ITA 11(3): 213-236 (1977) |
| 1974 |
|---|
| 2 | | Bernard Robinet:
Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974
Springer 1974 |
| 1973 |
|---|
| 1 | | Bernard Robinet:
Un modèle sémantique pour un langage simple de programmation.
Automatentheorie und Formale Sprachen 1973: 301-310 |
