Browsing by Author "Rocha Niño, Hernan Camilo (dir)"
Now showing items 1-1 of 1
-
Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
Romero González, Miguel Ángel (Ingeniería de Sistemas, 2017)This document presents an executable semantics in rewrite logic for Concurrent Spatial Constraint Programming, abbreviated SCCP. SCCP is a computational model used to reason about spatial information and knowledge distributed ...