Mostrar o rexistro simple do ítem
Una aproximación a la programación lógica con funciones indeterministas
| dc.contributor.author | Sarmiento Escalona, Antonio | |
| dc.date.accessioned | 2009-10-27T12:20:56Z | |
| dc.date.available | 2009-10-27T12:20:56Z | |
| dc.date.issued | 1992 | |
| dc.identifier.isbn | 978-84-692-8898-6 | |
| dc.identifier.uri | http://hdl.handle.net/2183/1147 | |
| dc.description.abstract | [Resumen] LA MEMORIA ES UN INTENTO DE INTEGRACION DE PROGRAMACION LOGICA Y FUNCIONAL DERIVADO DEL LENGUAJE DE PROGRAMACION BABEL, UTILIZA DOMINIOS DE SCOTT PARA LA SEMANTICA DECLARATIVA DEL LENGUAJE Y CONSTRUYE EL MODELO DE HERBRAND MINIMO, PARA PROBAR LA COMPLETUD DEL LENGUAJE, UTILIZANDO LA SEMANTICA DEL PUNTO FIJO. LA SEMANTICA OPERATIVA DEL LENGUAJE SE DA EN TERMINOS DE ESTRECHAMIENTO EN GRAFOS ACICLICOS, Y PRUEBA QUE ES COHERENTE Y COMPLETA RESPECTO A LA SEMANTICA DECLARATIVA. | es_ES |
| dc.language.iso | spa | es_ES |
| dc.publisher | Universidade da Coruña. Departamento de Computación | es_ES |
| dc.subject | Programación lógica | es_ES |
| dc.title | Una aproximación a la programación lógica con funciones indeterministas | es_ES |
| dc.type | info:eu-repo/semantics/doctoralThesis | es_ES |
| dc.rights.thesis | Os titulares dos dereitos de propiedade intelectual autorizan a visualización do contido desta tese a través de Internet, así como a súa reproducción, gravación en soporte informático ou impresión para o seu uso privado e/ou con fins de estudo e de investigación. En nengún caso se permite o uso lucrativo deste documento. Estos dereitos afectan tanto ó resumo da tese como o seu contido | en |
| dc.rights.thesis | Los titulares de los derechos de propiedad intelectual autorizan la visualización del contenido de esta tesis a través de Internet, así como su repoducción, grabación en soporte informático o impresión para su uso privado o con fines de investigación. En ningún caso se permite el uso lucrativo de este documento. Estos derechos afectan tanto al resumen de la tesis como a su contenido | en |
| dc.rights.access | info:eu-repo/semantics/openAccess | es_ES |
| dcterms.abstract | [Resumen] LA MEMORIA ES UN INTENTO DE INTEGRACION DE PROGRAMACION LOGICA Y FUNCIONAL DERIVADO DEL LENGUAJE DE PROGRAMACION BABEL, UTILIZA DOMINIOS DE SCOTT PARA LA SEMANTICA DECLARATIVA DEL LENGUAJE Y CONSTRUYE EL MODELO DE HERBRAND MINIMO, PARA PROBAR LA COMPLETUD DEL LENGUAJE, UTILIZANDO LA SEMANTICA DEL PUNTO FIJO. LA SEMANTICA OPERATIVA DEL LENGUAJE SE DA EN TERMINOS DE ESTRECHAMIENTO EN GRAFOS ACICLICOS, Y PRUEBA QUE ES COHERENTE Y COMPLETA RESPECTO A LA SEMANTICA DECLARATIVA. | es_ES |
Ficheiros no ítem
Este ítem aparece na(s) seguinte(s) colección(s)
-
Teses de doutoramento [2089]
