Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Enterprise Modeling with Conventions;Lecture Notes in Business Information Processing;2023
3. Expressive power and succinctness of the positive calculus of binary relations;Journal of Logical and Algebraic Methods in Programming;2022-06