Juan M. Molina-Bravo

According to our database, Juan M. Molina-Bravo authored at least 3 papers between 1997 and 2003.

Collaborative distances:

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

2003

Composing Programs in a Rewriting Logic for Declarative Programming.

Juan M. Molina-Bravo, Ernesto Pimentel

Theory Pract. Log. Program., 2003

1997

Modularity in Functional-Logic Programming.

Juan M. Molina-Bravo, Ernesto Pimentel

Proceedings of the Logic Programming, 1997

Semantics for Modules in Functional-Logic Programming.

Juan M. Molina-Bravo, Ernesto Pimentel

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997