PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Robinet, Bernard J."

Author of the publication

copydeleteadd this publication to your clipboard
Semantique des tableaux - application au langage APL.

. Univ. Paris VI, (1972)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Bernard Haasdonk University of Stuttgart

J. K\"astner

J. Schwarz

J. K\"astner

J Walter

 

Other publications of authors with the same name

About the Completeness of APL.. GI Jahrestagung, volume 1 of Lecture Notes in Computer Science, page 144-150. Springer, (1973)Knowledge Representation and Automated Reasoning.. Wissensbasierte Systeme, volume 155 of Informatik-Fachberichte, page 233-245. Springer, (1987)Un Modèle Fonctionnel des Structures de Contrôle.. RAIRO Theor. Informatics Appl., 11 (3): 213-236 (1977)La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres?. CLAAP, page 83-94. Université de Lille 1, (1980)Prolegomena of a Logic of Causality and Dynamism., , , , , and . Stud Logica, 62 (1): 77-105 (1999)Sémantique des Structures de Contrôle., and . RAIRO Theor. Informatics Appl., 11 (1): 63-74 (1977)Semantique des tableaux - application au langage APL.. Univ. Paris VI, (1972)Semantics of data structures.. ACM SIGPLAN Notices, 8 (6): 82-83 (1973)Un modèle sémantique pour un langage simple de programmation.. Automatentheorie und Formale Sprachen, volume 2 of Lecture Notes in Computer Science, page 301-310. Springer, (1973)Logical Synthesis of Imperative O. O. Programs., and . LOPSTR, volume 1559 of Lecture Notes in Computer Science, page 316-318. Springer, (1998)