A General Theory of Barbs, Contexts, and Labels
- 期刊名称ACM Transactions on Computational Logic
- 作者Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
- 卷第15卷
- 期第4期
- 印刷ISSN1529-3785
- 文件大小727.49KB
- 发表时间2014-09-16
- DOI10.1145/2631916
- 页码1-27
海量图书期刊资源，随时随地畅享阅读乐趣