Bernard J. Robinet

Publication Activity (10 Years)

Years Active: 1973-1999
Publications (10 Years): 0

Publications

Patrick Bellot, J.-P. Cottin, Bernard J. Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas
Prolegomena of a Logic of Causality and Dynamism. Stud Logica 62 (1) (1999)
Patrick Bellot, Bernard J. Robinet
Logical Synthesis of Imperative O. O. Programs. LOPSTR (1998)
Bernard J. Robinet
Logic Programming at IBM: From the Lab to the Customer. ICLP (1991)
Bernard J. Robinet
Knowledge Representation and Automated Reasoning. Wissensbasierte Systeme (1987)
Patrick Bellot, Bernard J. Robinet
Streams are not Dreams. Combinators and Functional Programming Languages (1985)
Bernard J. Robinet
La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres? CLAAP (1980)
Bernard J. Robinet, François Nozick
Sémantique des Structures de Contrôle. RAIRO Theor. Informatics Appl. 11 (1) (1977)
Bernard J. Robinet
Un Modèle Fonctionnel des Structures de Contrôle. RAIRO Theor. Informatics Appl. 11 (3) (1977)
Bernard J. Robinet
Semantics of data structures. ACM SIGPLAN Notices 8 (6) (1973)
Bernard J. Robinet
Un modèle sémantique pour un langage simple de programmation. Automatentheorie und Formale Sprachen (1973)
Bernard J. Robinet
About the Completeness of APL. GI Jahrestagung (1973)