María José Ramis

According to our database, María José Ramis authored at least 3 papers between 1993 and 1994.

Collaborative distances:

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

1994

A Compositional Semantics for Conditional Term Rewriting Systems.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Narrowing Approximations as an Optimization for Equational Logic Programs.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Using Narrowing Approximations to Optimize Equational Logic Programs.

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal

Proceedings of the 8th Italian Conference on Logic Programming, 1993