Sintesi di algoritmi con SKY

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

This paper describes the semantics and ideas about SKY, a logic programming language intended in order to specify algorithmic strategies for the evaluation of problems.
In italian

Keywords

Logic in Computer Science, D.1.6

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/30894

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0111011
 http://arxiv.org/abs/cs/0111011

Collections

arXiv