Ramon Brena

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

1988
Parallelizing a Natural Deduction System.
Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

1984
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization.
Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984


  Loading...