RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Concurrent Constraint Programming"

Mostrando ítems 1-1 de 1

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2013)

In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short) which is defined for the full language. In particular, is able to deal with the non- monotonic ...

Mostrando ítems 1-1 de 1