Publisher
Springer Berlin Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the satisfiability problem for fragments of two-variable logic with one transitive relation;Journal of Logic and Computation;2019-07-30
2. Two-Variable Logic with Counting and Trees;ACM Transactions on Computational Logic;2016-11-15
3. Order-Invariance of Two-Variable Logic is Decidable;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
4. Two-variable Logic with Counting and a Linear Order;Logical Methods in Computer Science;2016-06-23
5. Extending ALCQIO with Trees;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07