Volver atrás Publicación
Alpuente Frasnedo María, Vidal Oriola Germán Francisco
1994
A Compositional Semantics for Conditional Term Rewriting Systems