1 research outputs found
Sintesi di algoritmi con SKY
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.Comment: In italia
1 research outputs found