Author:
Seidl Helmut,Schwentick Thomas,Muscholl Anca,Habermehl Peter
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;L. Cardelli,2001
2. Cardelli, L., Gordon, A.: Anytime, Anywhere: Modal Logics for Mobile Ambients. In: 27th ACM Conf. on Principles of Programming Languages (POPL), pp. 365–377 (2000)
3. Conforti, G., Ferrara, O., Ghelli, G.: TQL Algebra and its Implementation (Extended Abstract). In: IFIP Int. Conf. on Theoretical Computer Science (IFIP TCS), pp. 422–434 (2002)
4. Conforti, G., Ghelli, G., Albano, A., Colazzo, D., Manghi, P., Sartiani, C.: The Query Language TQL. In: 5th Int. Workshop on the Web and Databases, WebDB (2002)
5. Dal-Zilio, S., Lugiez, D., Meyssonnier, C.: A Logic you can Count on. In: 31st ACM Symp. on Principles of Programming Languages (POPL), pp. 135–146 (2004)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献