Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory;ACM Transactions on Computation Theory;2024-06-10
2. The Spatio-temporal Hybrid Development Methodology for Smart IoT: A Review based Study;2022 International Conference on Intelligent Education and Intelligent Research (IEIR);2022-12-18
3. Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
4. Complexity of Infinite-Domain Constraint Satisfaction;LECT NOTES LOGIC;2021-05-28
5. Relation algebras of Sugihara, Belnap, Meyer, and Church;Journal of Logical and Algebraic Methods in Programming;2020-12