María José Ramis

Publication Activity (10 Years)

Years Active: 1993-1994
Publications (10 Years): 0

Publications

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) (1994)
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
A Compositional Semantics for Conditional Term Rewriting Systems. ICCL (1994)
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP (1993)
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
Using Narrowing Approximations to Optimize Equational Logic Programs. GULP (1993)