Order:
Disambiguations
P. Braffort [6]Paul Braffort [1]
  1.  6
    A Simplified Proof Method for Elementary Logic.Stig Kanger, P. Braffort & D. Hirschberg - 1967 - Journal of Symbolic Logic 32 (1):119-119.
  2. Automation in language translation and theorem proving.P. Braffort & F. van Scheepen (eds.) - 1968 - Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    Bookmark  
  3. Ernst Glasersfeld's First Scientific Paper.P. Braffort - 2007 - Constructivist Foundations 2 (2-3):12-17.
    Purpose: At Silvio Ceccato’s suggestion, I invited Ernst von Glasersfeld to the “Séminaire Leibniz” which took place in Brussels, in February 1961. The paper he delivered then, Operational Semantics: Analysis of Meaning in Terms of Operations, was included in a Euratom internal report and is published here for the first time. Conclusion: These early works clearly show von Glasersfeld’s methodological and philosophical coherence as well as his faithfulness to Ceccato’s endeavour.
     
    Export citation  
     
    Bookmark  
  4. Ernst von Glasersfeld's Legacy Is Alive and Well in France and Italy!P. Braffort - 2011 - Constructivist Foundations 6 (2):139-139.
    Upshot: Paul Braffort was in charge of the research department GRISA (Groupe de Recherches sur l’Information Scientifique Automatique) in EURATOM when Ernst von Glasersfeld joined Silvio Ceccato’s group in the early 1960s. With these responsibilities he provided the initial funding for the work on language analysis that later Ernst brought to the US. In his essay Braffort describes von Glasersfeld’s professional involvements in France and Italy.
     
    Export citation  
     
    Bookmark  
  5.  9
    A Basis for a Mathematical Theory of Computation, Preliminary Report.John Mccarthy, P. Braffort & D. Hirschberg - 1968 - Journal of Symbolic Logic 33 (1):117-117.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  10
    Computer Programming and Formal Systems.J. C. Shepherdson, P. Braffort & D. Hirschberg - 1965 - Philosophical Quarterly 15 (61):371.