Universal Horn Sentences and the Joint Embedding Property
暂无分享,去创建一个
[1] Manuel Bodirsky,et al. Complexity of Infinite-Domain Constraint Satisfaction , 2021 .
[2] Manuel Bodirsky,et al. ASNP: A Tame Fragment of Existential Second-Order Logic , 2020, CiE.
[3] S. Braunfeld. The undecidability of joint embedding and joint homomorphism for hereditary graph classes , 2019, Discret. Math. Theor. Comput. Sci..
[4] Dmitriy Zhuk,et al. A Proof of CSP Dichotomy Conjecture , 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS).
[5] Andrei A. Bulatov,et al. A Dichotomy Theorem for Nonuniform CSPs , 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS).
[6] Anton Nijholt,et al. The Inclusion Problem for Some Subclasses of Context-Free Languages , 1999, Theor. Comput. Sci..
[7] Michael A. Arbib,et al. An Introduction to Formal Language Theory , 1988, Texts and Monographs in Computer Science.
[8] Kevin J. Compton,et al. Some useful preservation theorems , 1983, Journal of Symbolic Logic.
[9] Franz Baader,et al. An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics , 2021, JELIA.
[10] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[11] Alistair H. Lachlan,et al. Shrinking, stretching, and codes for homogeneous structures , 1987 .