Explora I+D+i UPV

Volver atrás Publicación

A Compositional Semantics for Conditional Term Rewriting Systems

Compartir
Año

CONGRESO

A Compositional Semantics for Conditional Term Rewriting Systems