Bernard J. Robinet

17 papers A 1B 1C 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
1999 J jnl
Prolegomena of a Logic of Causality and Dynamism.
Stud Logica
Patrick Bellot, J.-P. Cottin, Bernard J. Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas
1998 C conf
Logical Synthesis of Imperative O. O. Programs.
LOPSTR
Patrick Bellot, Bernard J. Robinet
1991 B conf
Logic Programming at IBM: From the Lab to the Customer.
ICLP
Bernard J. Robinet
1987 — conf
Knowledge Representation and Automated Reasoning.
Wissensbasierte Systeme
Bernard J. Robinet
1986 — ed.
Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings
Combinators and Functional Programming Languages
Guy Cousineau, Pierre-Louis Curien, Bernard J. Robinet
1986 A ed.
ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings
ESOP
Bernard J. Robinet, Reinhard Wilhelm
1985 — conf
Streams are not Dreams.
Combinators and Functional Programming Languages
Patrick Bellot, Bernard J. Robinet
1984 — ed.
International Symposium on Programming, 6th Colloquium, Toulouse, France, April 17-19, 1984, Proceedings
Symposium on Programming
Manfred Paul, Bernard J. Robinet
1980 — ed.
International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980
Symposium on Programming
Bernard J. Robinet
1980 — conf
La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres?
CLAAP
Bernard J. Robinet
1977 J jnl
Sémantique des Structures de Contrôle.
RAIRO Theor. Informatics Appl.
Bernard J. Robinet, François Nozick
1977 J jnl
Un Modèle Fonctionnel des Structures de Contrôle.
RAIRO Theor. Informatics Appl.
Bernard J. Robinet
1974 — ed.
Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974
Symposium on Programming
Bernard J. Robinet
1973 — conf
About the Completeness of APL.
GI Jahrestagung
Bernard J. Robinet
1973 J jnl
Semantics of data structures.
ACM SIGPLAN Notices
Bernard J. Robinet
1973 — conf
Un modèle sémantique pour un langage simple de programmation.
Automatentheorie und Formale Sprachen
Bernard J. Robinet
1972 — —
Semantique des tableaux - application au langage APL.
Bernard J. Robinet