Sintesi di algoritmi con SKY
计算机科学中的逻辑
2007-05-23 v1
摘要
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.
引用
@article{arxiv.cs/0111011,
title = {Sintesi di algoritmi con SKY},
author = {Giovambattista Ianni},
journal= {arXiv preprint arXiv:cs/0111011},
year = {2007}
}
备注
In italian