RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Normalized terms"

Mostrando ítems 1-1 de 1

Strong and weak operational termination of order-sorted rewrite theories

Lucas Alba, Salvador; Meseguer, José (Springer Verlag (Germany), 2014-11)

This paper presents several new results on conditional term rewriting within the general framework of order-sorted rewrite theories (OSRTs) which contains the more restricted framework of conditional term rewriting systems ...

Mostrando ítems 1-1 de 1