Author:
Hirsch Robin,Hodkinson Ian,Jackson Marcel
Publisher
Springer International Publishing
Reference31 articles.
1. Andréka, H., Givant, S., & Németi, I. (1997). Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, 126(604).
2. Andréka, H., Givant, S., & Németi, I. (2020). Nonrepresentable relation algebras from group system. The Review of Symbolic Logic, 13(4), 861–881. arXiv:1809.05473
3. Andréka, H., Monk, J., & Németi, I. (eds.). (1991). Algebraic logic. In Colloquia Mathematica Societatis Janos Bolyai (Vol. 54). North-Holland, Amsterdam.
4. Andréka, H., & Németi, I. (2013). Reducing first-order logic to $${{\sf Df\it }_{3}}$$. In H. Andréka, M. Ferenczi, & I. Németi (Eds.), Cylindric-like algebras and algebraic logic (Vol. 22, pp. 15–35). Bolyai Society Mathematical Studies. Springer.
5. Berger, R. (1966). The undecidability of the domino problem, Memoirs (Vol. 66). Providence, Rhode Island: American Mathematical Society.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献