Author:
Conforti Giovanni,Macedonio Damiano,Sassone Vladimiro
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;L. Caires,2001
2. Calcagno, C., Cardelli, L., Gordon, A.D.: Deciding validity in a spatial logic for trees. In: Proc. of TLDI (2003)
3. Calcagno, C., Gardner, P., Zarfaty, U.: A context logic for tree update. In: Proc. of LRPP (2004); revised version to appear in POPL, 2005
4. Lecture Notes in Computer Science;L. Cardelli,2002
5. Lecture Notes in Computer Science;L. Cardelli,2003
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献