Bernard J. Robinet

According to our database, Bernard J. Robinet authored at least 12 papers between 1972 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

Prolegomena of a Logic of Causality and Dynamism.

Patrick Bellot, J.-P. Cottin, Bernard J. Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas

Stud Logica, 1999

1998

Logical Synthesis of Imperative O. O. Programs.

Patrick Bellot, Bernard J. Robinet

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1991

Logic Programming at IBM: From the Lab to the Customer.

Bernard J. Robinet

Proceedings of the Logic Programming, 1991

1987

Knowledge Representation and Automated Reasoning.

Bernard J. Robinet

Proceedings of the Wissensbasierte Systeme, 1987

1985

Streams are not Dreams.

Patrick Bellot, Bernard J. Robinet

Proceedings of the Combinators and Functional Programming Languages, 1985

1980

La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres?

Bernard J. Robinet

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1977

Sémantique des Structures de Contrôle.

Bernard J. Robinet, François Nozick

RAIRO Theor. Informatics Appl., 1977

Un Modèle Fonctionnel des Structures de Contrôle.

Bernard J. Robinet

RAIRO Theor. Informatics Appl., 1977

1973

Semantics of data structures.

Bernard J. Robinet

ACM SIGPLAN Notices, 1973

About the Completeness of APL.

Bernard J. Robinet

Proceedings of the Gesellschaft für Informatik e.V., 1973

Un modèle sémantique pour un langage simple de programmation.

Bernard J. Robinet

Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973

1972

Semantique des tableaux - application au langage APL.

Bernard J. Robinet

PhD thesis, 1972