Author:
Rizzi Romeo,Tomescu Alexandru I.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference18 articles.
1. Cumulative hierarchies and computability over universes of sets;Cantone;Le Matematiche,2008
2. Advanced Combinatorics;Comtet,1974
3. {log}: A language for programming in logic with finite sets;Dovier;J. Log. Program.,1996
4. An efficient algorithm for computing bisimulation equivalence;Dovier;Theor. Comput. Sci.,2004
5. Sets and constraint logic programming;Dovier;ACM Trans. Program. Lang. Syst.,2000
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献