Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The power of modal separation logics;Journal of Logic and Computation;2019-12
2. Temporal Logics in Computer Science;CAM T THEOR;2016
3. Two-Variable Separation Logic and Its Inner Circle;ACM Transactions on Computational Logic;2015-03-21
4. Separation logics and modalities: a survey;Journal of Applied Non-Classical Logics;2015-01-02
5. Fuzzy Rationality;Studies in Fuzziness and Soft Computing;2009