Author:
Etessami K.,Vardi M.Y.,Wilke T.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Normalization of Linear Temporal Logic;Journal of the ACM;2024-04-10
2. An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic;ACM Transactions on Computational Logic;2017-12-19
3. Separation logics and modalities: a survey;Journal of Applied Non-Classical Logics;2015-01-02
4. Embedding theorems for LTL and its variants;Mathematical Structures in Computer Science;2014-12-02
5. Expressive completeness of separation logic with two variables and no separating conjunction;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14