Author:
Milanič Martin,Rizzi Romeo,Tomescu Alexandru I.
Funder
Slovenian Research Agency
European Science Foundation
Academy of Finland
Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. Computable Set Theory;Cantone,1989
2. Programming with Sets: An Introduction to SETL;Schwartz,1986
3. {log}: a language for programming in logic with finite sets;Dovier;J. Log. Program.,1996
4. Sets and constraint logic programming;Dovier;ACM Trans. Program. Lang. Syst.,2000
5. A computerized referee;Omodeo,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献