Una aproximación a la programación lógica con funciones indeterministas

Sarmiento Escalona, Antonio

Una aproximación a la programación lógica con funciones indeterministas

UDC.coleccion	Teses	es_ES
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.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.identifier.isbn	978-84-692-8898-6
dc.identifier.uri	http://hdl.handle.net/2183/1147
dc.language.iso	spa	es_ES
dc.publisher	Universidade da Coruña. Departamento de Computación	es_ES
dc.rights.accessRights	open access	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.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	doctoral thesis	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
dspace.entity.type	Publication
relation.isAuthorOfPublication	88d46039-7a85-4980-9082-3aef0ed5abbb
relation.isAuthorOfPublication.latestForDiscovery	88d46039-7a85-4980-9082-3aef0ed5abbb

Files

Original bundle

Now showing 1 - 1 of 1

Name:: SarmientoEscalona_JoseAntonio_TD_1992.pdf
Size:: 7.47 MB
Format:: Adobe Portable Document Format
Description:

Download

Collections

Teses de doutoramento