Sintesi di algoritmi con SKY

Simple item page
dc.creatorIanni, Giovambattista
dc.date2001-11-06
dc.date.accessioned2026-07-07T03:17:53Z
dc.date.available2026-07-07T03:17:53Z
dc.descriptionThis paper describes the semantics and ideas about SKY, a logic programming language intended in order to specify algorithmic strategies for the evaluation of problems.
dc.descriptionIn italian
dc.identifierhttps://arxiv.org/abs/cs/0111011
dc.identifierhttp://arxiv.org/abs/cs/0111011
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30894
dc.subjectLogic in Computer Science
dc.subjectD.1.6
dc.titleSintesi di algoritmi con SKY
dc.typetext

Files

Collections

arXiv