Ramon Brena

Publication Activity (10 Years)

Years Active: 1984-1988
Publications (10 Years): 0

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Ramon Brena
Parallelizing a Natural Deduction System. AIMSA (1988)
Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA (1984)