Listar Avances en Sistemas e Informática por autor "Ramírez Ovalle, Carlos Ernesto"
Mostrando documentos 1-1 de 1
-
Un sistema de restricciones anotado
Ramírez Ovalle, Carlos ErnestoEn la programación concurrente con restricciones, el concepto básico es el de sistema de restricciones. Aquí presentamos una innovación sobre los sistemas de restricciones al introducir una lógica anotada como componente ...Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e Informática.