Ramon Brena

According to our database, Ramon Brena authored at least 3 papers between 1984 and 1989.

Collaborative distances:

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

1989

Synthèse de programmes : connaissances et déduction dans les domaines d'application. (Program synthesis : knowledge and deduction in application domains).

Ramon Brena

PhD thesis, 1989

1988

Parallelizing a Natural Deduction System.

Ramon Brena

Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

1984

Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization.

Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984