Author:
Bertolissi Clara,Fernández Maribel
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference62 articles.
1. A calculus for access control in distributed systems;Abadi;ACM Trans. Program. Lang. Syst.,1993
2. Automatic compilation of protocol insecurity problems into logic programming;Armando,2004
3. Term Rewriting and All That;Baader,1998
4. Logic programming and knowledge representation;Baral;J. Log. Program.,1994
5. Intersection type assignment systems with higher-order algebraic rewriting;Barbanera;Theor. Comput. Sci.,1996
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献